{"id":"W4362714374","doi":"10.5642/jhummath.azev3747","title":"Human-Machine Collaboration in the Teaching of Proof","year":2023,"lang":"en","type":"article","venue":"Journal of Humanistic Mathematics","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Institute for Christian Studies; University of Toronto","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Mathematical proof; Mathematics education; Autonomy; Mathematical logic; Instant; Computer science; Proof assistant; Natural (archaeology); Calculus (dental); Pedagogy; Mathematics; Programming language; Psychology","routes":{"ca_aff":true,"ca_fund":true,"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.01381829,0.0006942509,0.0005546837,0.001417812,0.002263804,0.005594611,0.002218421,0.002214337,0.01015675],"category_scores_gemma":[0.0310797,0.0005458869,0.0006007098,0.0009038983,0.006789414,0.00830659,0.01003646,0.00250304,0.0020077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001713533,"about_ca_system_score_gemma":0.003410976,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004845333,"about_ca_topic_score_gemma":0.000581877,"domain_scores_codex":[0.9804413,0.01577545,0.0003521242,0.001314577,0.001514328,0.0006021214],"domain_scores_gemma":[0.959438,0.03531032,0.0009630804,0.002100442,0.0007264366,0.001461792],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003880771,0.0005856503,0.004437186,0.001560546,0.0001010426,0.0008044866,0.03284795,0.02554818,0.006866,0.5354077,0.009895377,0.3815579],"study_design_scores_gemma":[0.0002054491,0.0004999487,0.001641814,0.0007201744,0.00004405715,0.001192578,0.008332655,0.06074114,0.008422057,0.6713623,0.2467538,0.00008400939],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05439203,0.005446328,0.8708382,0.00676107,0.0004782088,0.0001810044,0.00002591919,0.0009355174,0.06094168],"genre_scores_gemma":[0.7156928,0.002313751,0.2751707,0.0007032586,0.0001920766,0.0002576105,0.0000425765,0.0002563453,0.005370901],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01381829,"threshold_uncertainty_score":0.07307899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03897228720025611,"score_gpt":0.3218932369040875,"score_spread":0.2829209497038314,"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."}}