{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002565428,0.00007259733,0.00007366367,0.00002916487,0.001074014,0.0008435234,0.001127642,0.00001838593,0.000004282488],"category_scores_gemma":[0.00005355708,0.00004017132,0.00005060199,0.00002722536,0.0002148265,0.0002317982,0.0005189381,0.0000542851,0.000002942498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006363106,"about_ca_system_score_gemma":0.00001783102,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005704814,"about_ca_topic_score_gemma":0.00008652953,"domain_scores_codex":[0.9994615,0.000007153398,0.00009138337,0.0001684223,0.0001050025,0.0001665337],"domain_scores_gemma":[0.9991406,0.000120141,0.00005575225,0.000608327,0.00004316744,0.00003203993],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003529781,0.00002110405,0.0002681182,0.00001567234,0.00001044969,0.000002739071,0.0005007499,0.00001304717,0.00001791695,0.729755,0.000523982,0.2688676],"study_design_scores_gemma":[0.0003385505,0.0001065489,0.01339793,0.0000238729,0.000008498189,0.00003791825,0.0001537786,0.885012,0.001444039,0.09169637,0.007616431,0.0001640394],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03010647,0.0001277624,0.9641979,0.001985458,0.0007090466,0.0003210051,0.000003066619,0.0000618209,0.002487463],"genre_scores_gemma":[0.9547557,0.0000189661,0.04281276,0.0001365863,0.00006632903,0.00004304228,2.466379e-7,0.000003690619,0.002162725],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9246492,"threshold_uncertainty_score":0.8260553,"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."}}