{"id":"W1986176660","doi":"10.1080/14926150309556563","title":"Case studies of mathematics majors’ proof understanding, production, and appreciation","year":2003,"lang":"en","type":"article","venue":"Canadian Journal of Science Mathematics and Technology Education","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":51,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematical proof; Mathematics education; Proof of concept; Variance (accounting); Psychology; Mathematics; Computer science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.003354472,0.0000873333,0.0002080523,0.001149492,0.0008169745,0.00007314363,0.0001726451,0.00008628412,0.0000137429],"category_scores_gemma":[0.007588963,0.00007765843,0.00001801415,0.0009279186,0.002755067,0.0002712382,0.00001175914,0.0001401328,3.0136e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002864467,"about_ca_system_score_gemma":0.003114096,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001684031,"about_ca_topic_score_gemma":0.00250388,"domain_scores_codex":[0.9990112,0.00003371114,0.0004207579,0.0001257171,0.0002167104,0.0001918571],"domain_scores_gemma":[0.9981669,0.00009731118,0.0005737544,0.0001628728,0.0008032402,0.0001959766],"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":[1.171076e-7,0.00007435105,0.0008350225,0.0001150101,0.00001147744,0.000003265259,0.05088257,1.625885e-7,0.0001408336,0.9465568,0.0002845872,0.001095812],"study_design_scores_gemma":[0.00003677086,0.00003934872,0.000006049782,0.0002108473,0.0000328105,0.001547761,0.2220356,0.0000156648,0.001680827,0.7738665,0.0004499838,0.00007788582],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9792311,0.001100244,0.009452822,0.003505662,0.0007462953,0.0004707377,0.000001289653,0.00002533991,0.005466479],"genre_scores_gemma":[0.9259195,0.0001376951,0.07376025,0.0000112762,0.00002672257,0.000007686367,8.954389e-8,0.000006024377,0.0001307212],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1726903,"threshold_uncertainty_score":0.9999589,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07022195481084813,"score_gpt":0.3498344423901756,"score_spread":0.2796124875793275,"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."}}