{"id":"W4245020129","doi":"10.1109/lics.2017.8005099","title":"Uniform, integral and efficient proofs for the determinant identities","year":2017,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematical proof; Bounded function; Algebraic number; Discrete mathematics; Combinatorics; 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.003165883,0.001205295,0.000787425,0.001802494,0.001899969,0.004008776,0.003056953,0.00120685,0.01783924],"category_scores_gemma":[0.01973776,0.0009749244,0.001830002,0.001772558,0.002482591,0.009143065,0.007085229,0.006170486,0.003650582],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003061003,"about_ca_system_score_gemma":0.002858064,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001323578,"about_ca_topic_score_gemma":0.00195468,"domain_scores_codex":[0.9947043,0.001039542,0.0002793841,0.0006765117,0.00244339,0.0008568088],"domain_scores_gemma":[0.9865988,0.008281115,0.0005844827,0.002331074,0.001882962,0.0003214972],"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.0002042534,0.0002238831,0.0007053322,0.000500081,0.00006400622,0.0003647151,0.0006188274,0.004576116,0.01263348,0.8744944,0.02246624,0.08314853],"study_design_scores_gemma":[0.0001567605,0.0001204125,0.0009240689,0.0002019254,0.0001644241,0.0008969282,0.0002337625,0.03465099,0.04133725,0.8591437,0.06204959,0.0001200064],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02274114,0.0009719078,0.9201554,0.003671539,0.0006448756,0.0002943503,0.001086624,0.002641919,0.04779216],"genre_scores_gemma":[0.5143616,0.001948556,0.4502704,0.003743341,0.00137518,0.0006600452,0.002193082,0.00140571,0.02404216],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01783924,"threshold_uncertainty_score":0.05967814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03406652558910504,"score_gpt":0.2880806296348293,"score_spread":0.2540141040457242,"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."}}