{"id":"W2978216518","doi":"10.1007/978-3-030-28483-1_7","title":"Issues and Challenges in Instrumental Proof","year":2019,"lang":"en","type":"book-chapter","venue":"Mathematics education in the digital era","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal; Université du Québec à Montréal; Université de Montréal","funders":"","keywords":"Proof of concept; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00085245,0.0004621962,0.0006478939,0.0003323483,0.00005638221,0.000158777,0.0004851274,0.0002951348,0.0001818986],"category_scores_gemma":[0.0002801516,0.0003662957,0.0001129766,0.00004427136,0.0001750907,0.0002458825,0.0001065434,0.0005422093,0.0002058716],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001637624,"about_ca_system_score_gemma":0.0002965028,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000199101,"about_ca_topic_score_gemma":0.00003392945,"domain_scores_codex":[0.9980599,0.00004034885,0.0008372354,0.0003753295,0.0004391027,0.0002480789],"domain_scores_gemma":[0.9978022,0.0008549613,0.0004524078,0.000787582,0.00004925124,0.0000535891],"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.000005645142,0.0005630313,0.00001325474,0.002521869,0.00002557177,0.000004180823,0.01498858,2.435433e-7,5.565256e-7,0.9563357,0.001207357,0.02433403],"study_design_scores_gemma":[0.0002208335,0.00005191716,0.00001888993,0.001555331,0.00003128529,0.00008765352,0.003610608,0.00002477529,0.000005134728,0.9233302,0.07069192,0.0003714561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01283316,0.005178847,0.00001249103,0.001033033,0.0003224022,0.001487746,0.00004285925,0.00004237496,0.9790471],"genre_scores_gemma":[0.04751392,0.003452572,0.006866666,0.0002706265,0.0004388022,0.0002398973,0.0001433018,0.0003695307,0.9407047],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.06948456,"threshold_uncertainty_score":0.9998789,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06472036205028765,"score_gpt":0.2959813060629401,"score_spread":0.2312609440126525,"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."}}