{"id":"W2784127639","doi":"10.1007/978-3-319-70996-3_1","title":"Reflections on Proof as Explanation","year":2018,"lang":"en","type":"book-chapter","venue":"ICME-13 monographs","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto; Institute for Christian Studies","funders":"","keywords":"Mathematical proof; Epistemology; Mathematical practice; Explanatory model; Calculus (dental); Value (mathematics); Mathematics; Computer science; Philosophy","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0004259979,0.0005291639,0.0005515547,0.0006684106,0.0003706604,0.00004876506,0.0003628951,0.0005948847,0.0037552],"category_scores_gemma":[0.0001428625,0.0005122998,0.0004135204,0.00008855467,0.0002710596,0.0001084743,0.0000489988,0.0005561812,0.001774741],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009005832,"about_ca_system_score_gemma":0.00006138975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001184949,"about_ca_topic_score_gemma":0.00002728986,"domain_scores_codex":[0.9980502,0.00005594246,0.0006037982,0.0005018077,0.0004908358,0.0002973959],"domain_scores_gemma":[0.9978067,0.0003919757,0.0005579323,0.0009634385,0.000131734,0.0001482058],"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.00005965482,0.0001272826,2.545613e-7,0.0001727072,0.0001905346,0.00001762605,0.002353468,6.187591e-7,0.00001792961,0.9217461,0.07404957,0.0012643],"study_design_scores_gemma":[0.0001465823,0.0002691814,1.877442e-7,0.0003114794,0.0001202846,0.00001944317,0.00006938863,0.000004658561,0.0001947057,0.5981104,0.40044,0.0003136359],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0007590267,0.000124962,0.001108816,0.00008308445,0.0007705115,0.0006809147,0.00005596503,0.0003419101,0.9960748],"genre_scores_gemma":[0.003509037,0.00008902163,0.005265504,0.0002836259,0.0007116006,0.0001043166,0.00009096449,0.0002400216,0.9897059],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.3263905,"threshold_uncertainty_score":0.9997329,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1021390934132066,"score_gpt":0.3514771443541909,"score_spread":0.2493380509409843,"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."}}