{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007212507,0.0007659712,0.0005224439,0.001305018,0.001389535,0.004755744,0.001248817,0.000905099,0.0843063],"category_scores_gemma":[0.002539546,0.0006056253,0.0005428112,0.001249637,0.002022286,0.005876125,0.0019237,0.002616252,0.02655474],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001745358,"about_ca_system_score_gemma":0.001019626,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000846857,"about_ca_topic_score_gemma":0.000819641,"domain_scores_codex":[0.9991535,0.0002144842,0.00004632071,0.0002055829,0.0003080716,0.00007203017],"domain_scores_gemma":[0.9991665,0.0003302452,0.00004042706,0.0002049278,0.0002105024,0.00004757008],"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.000007590073,0.000009116491,0.00002466611,0.00006243993,0.000003809122,0.0000129342,0.000090066,0.0002088559,0.00023644,0.956951,0.01853485,0.02385833],"study_design_scores_gemma":[0.00001054957,0.000006565772,0.00005068304,0.00004207088,0.000005288647,0.00005744028,0.00003504072,0.0007919475,0.0005812469,0.7438283,0.2545854,0.000005326249],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.002351431,0.003707702,0.1298173,0.002333582,0.0005100726,0.0001248195,0.001192841,0.001193429,0.8587689],"genre_scores_gemma":[0.1988121,0.006693058,0.09667365,0.002006423,0.0009077729,0.0003876608,0.003317504,0.001070993,0.6901309],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0843063,"threshold_uncertainty_score":0.2820327,"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."}}