{"id":"W4409708773","doi":"10.1007/978-3-031-85352-4_8","title":"Proof Systems","year":2025,"lang":"en","type":"book-chapter","venue":"Computer science foundations and applied logic","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"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.0007233756,0.0002640748,0.0003890442,0.0002809004,0.0007064111,0.0002662926,0.0004811664,0.0001406353,0.00008981861],"category_scores_gemma":[0.00002786707,0.0002260287,0.00005578724,0.0001025949,0.0008767308,0.00009279816,0.0002686327,0.0002183744,0.00006989302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009658864,"about_ca_system_score_gemma":0.0002291489,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":3.361653e-7,"about_ca_topic_score_gemma":8.083402e-7,"domain_scores_codex":[0.9985962,0.000008911976,0.0003649982,0.0004983375,0.000316903,0.0002146805],"domain_scores_gemma":[0.9987457,0.0002606208,0.0002361893,0.0005414336,0.0001238224,0.00009216582],"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.000001282323,0.00002266466,4.692717e-8,0.0002125162,0.00001325813,0.000001406832,0.0001351632,0.00001336358,0.000005940159,0.9877139,0.002224979,0.009655459],"study_design_scores_gemma":[0.00008892761,0.00002782487,3.370267e-7,0.000178184,0.00004298859,0.00001290707,0.00000993045,0.002030334,0.000006560323,0.8818066,0.1155635,0.0002319076],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0000379278,0.0001003585,0.2969613,0.00004712425,0.00052997,0.0004991195,0.000008016866,0.00009477573,0.7017214],"genre_scores_gemma":[0.01150258,0.00004322109,0.176269,0.0002878775,0.0005952111,0.0001025575,0.00002706182,0.00005441065,0.8111181],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1206923,"threshold_uncertainty_score":0.9217185,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06027751178719485,"score_gpt":0.2870510639857251,"score_spread":0.2267735521985302,"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."}}