{"id":"W2763057343","doi":"","title":"Proof Reconstruction: Success and Struggle in Undergraduate Mathematics","year":2017,"lang":"en","type":"article","venue":"2017 Conference of the Canadian Society for the Study of Education","topic":"History and Theory of Mathematics","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics education; Calculus (dental); Mathematics; 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.01671051,0.0002950651,0.0005602954,0.002004279,0.009650345,0.01369984,0.001622942,0.002698338,0.0126029],"category_scores_gemma":[0.08247296,0.000304109,0.0002984267,0.002109742,0.01910178,0.008732764,0.01038938,0.007133753,0.001115433],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.01142174,"about_ca_system_score_gemma":0.02247653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03979101,"about_ca_topic_score_gemma":0.05999896,"domain_scores_codex":[0.9881889,0.005152845,0.0002902975,0.0007549783,0.003490657,0.002122296],"domain_scores_gemma":[0.9474528,0.02647027,0.00245795,0.002124842,0.009092991,0.01240123],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"qualitative","study_design_scores_codex":[0.000492853,0.0002483043,0.0231593,0.0001120337,0.00002468332,0.0004272291,0.09247601,0.0006061054,0.0007138717,0.6150713,0.04812701,0.2185414],"study_design_scores_gemma":[0.0001130111,0.0002021854,0.04223231,0.0005215402,0.0000514301,0.0007959618,0.1942496,0.00633658,0.002434601,0.4436196,0.3092585,0.0001846353],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6593601,0.006213525,0.01255185,0.1332005,0.001114276,0.00007841849,0.0001675557,0.0002914184,0.1870224],"genre_scores_gemma":[0.9877437,0.0006639885,0.0009724916,0.000514357,0.00007896274,0.00001337263,0.00005733514,0.00008734097,0.00986833],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.03979101,"threshold_uncertainty_score":0.08837467,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08080570388107478,"score_gpt":0.3246645803110469,"score_spread":0.2438588764299722,"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."}}