{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00710072,0.0004665858,0.0007503136,0.001907801,0.003261914,0.009720949,0.002672922,0.003643644,0.02625265],"category_scores_gemma":[0.01528712,0.000369286,0.0004869124,0.00218936,0.02357223,0.0197584,0.004326259,0.009689525,0.003363842],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005535068,"about_ca_system_score_gemma":0.004127874,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001673742,"about_ca_topic_score_gemma":0.002165467,"domain_scores_codex":[0.9971049,0.001475228,0.00009156337,0.0002497603,0.0008944636,0.000184139],"domain_scores_gemma":[0.9839971,0.01376748,0.0002012036,0.000807551,0.000866289,0.000360344],"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":[9.631352e-7,0.000002709198,0.000006567025,0.00001279658,2.7507e-7,0.000003756627,0.00005809809,0.00002534637,0.000004445044,0.9949424,0.002856232,0.002086342],"study_design_scores_gemma":[0.000002193273,0.000001917402,0.00001386127,0.00004409157,5.726119e-7,0.00002288909,0.0001126862,0.000164974,0.0000277927,0.9489068,0.05069999,0.000002195856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.00378472,0.05738631,0.05373155,0.1030233,0.003586025,0.00002412381,0.00009906413,0.0002592283,0.7781057],"genre_scores_gemma":[0.4502929,0.04982291,0.03421164,0.02165724,0.01242763,0.000201801,0.0001560789,0.0006106823,0.4306192],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02625265,"threshold_uncertainty_score":0.08782387,"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."}}