{"id":"W1967948656","doi":"10.1016/j.apal.2003.10.018","title":"The proof complexity of linear algebra","year":2004,"lang":"en","type":"article","venue":"Annals of Pure and Applied Logic","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; McMaster University","funders":"","keywords":"Mathematics; Algebra over a field; Linear algebra; Discrete mathematics; Pure mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005195019,0.00006257524,0.0001177132,0.0000215305,0.00009365572,0.00001524745,0.0004104715,0.00003898121,0.000001348321],"category_scores_gemma":[0.00003092963,0.00004006203,0.00002935966,0.0001650689,0.0002429073,0.00007307107,0.0001081473,0.00006751297,0.000002683842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000193513,"about_ca_system_score_gemma":0.00002026995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000476492,"about_ca_topic_score_gemma":0.000002218238,"domain_scores_codex":[0.9993976,0.00002405089,0.0001898391,0.0001317384,0.0001359885,0.0001207391],"domain_scores_gemma":[0.9994164,0.00003869394,0.0001420612,0.0003070624,0.00006750844,0.00002828164],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000007608223,0.00003201104,0.000006402338,0.00001645213,0.000005755901,1.397064e-7,0.00024067,0.00008445304,0.001993702,0.9762177,0.00005313356,0.02134199],"study_design_scores_gemma":[0.00012521,0.0001100882,0.00166049,0.000008106408,0.000002213326,0.000002094854,0.00005348753,0.0005919159,0.2279961,0.7684931,0.000896144,0.00006107985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.149903,0.0009343997,0.8313518,0.006010938,0.0001173652,0.0004961643,0.000005232147,0.00006154648,0.01111957],"genre_scores_gemma":[0.820749,0.00006294469,0.1788664,0.000283313,0.00001866791,0.000007789207,7.3281e-7,0.000002039379,0.000009153697],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.670846,"threshold_uncertainty_score":0.1633682,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1354314574645376,"score_gpt":0.3439368107145531,"score_spread":0.2085053532500155,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}