{"id":"W2900444034","doi":"10.1145/3431922","title":"Uniform, Integral, and Feasible Proofs for the Determinant Identities","year":2021,"lang":"en","type":"article","venue":"Journal of the ACM","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"National Natural Science Foundation of China","keywords":"Mathematical proof; Mathematics; Axiom; Bounded function; Discrete mathematics; Polynomial; Class (philosophy); Proof complexity; Algebra over a field; Pure mathematics; Computer science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004336854,0.000791455,0.0005808876,0.001401566,0.001937718,0.004057004,0.003039901,0.00112699,0.009787545],"category_scores_gemma":[0.0230817,0.0008652507,0.001502051,0.001434314,0.003866931,0.0107004,0.006201048,0.005976485,0.001360803],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002596933,"about_ca_system_score_gemma":0.002249927,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007153616,"about_ca_topic_score_gemma":0.0009213664,"domain_scores_codex":[0.9954331,0.001198286,0.0003021326,0.0006509436,0.001760615,0.0006549532],"domain_scores_gemma":[0.9805001,0.01266462,0.0009422216,0.003374652,0.001990715,0.0005276948],"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.00006322955,0.0000598711,0.0002690388,0.0001411319,0.0000153433,0.00009311336,0.0002667245,0.001419135,0.001916968,0.9771497,0.002770158,0.01583564],"study_design_scores_gemma":[0.0000412527,0.00004231125,0.0002654707,0.000060663,0.00003931555,0.0002261552,0.0000988602,0.01341019,0.007514474,0.9680858,0.01019068,0.00002469714],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03366089,0.0006239942,0.9235932,0.002930796,0.0002890152,0.0001981676,0.0007188163,0.0009005016,0.03708459],"genre_scores_gemma":[0.6152958,0.001006791,0.3713097,0.001525714,0.0006265012,0.0004292675,0.000984091,0.0003418006,0.008480475],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009787545,"threshold_uncertainty_score":0.03274256,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03872084732340131,"score_gpt":0.2797191853381604,"score_spread":0.2409983380147591,"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."}}