{"id":"W2509713809","doi":"10.1080/14926150409556607","title":"Assessing high school students’ understanding of geometric proof","year":2004,"lang":"en","type":"article","venue":"Canadian Journal of Science Mathematics and Technology Education","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":41,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematical proof; Generality; Construct (python library); Proof complexity; Computer-assisted proof; Computer science; Mathematics education; Proof assistant; Mathematical logic; Proof of concept; Structural proof theory; Calculus (dental); Proof theory; Mathematics; Algorithm; Programming language; Psychology; Medicine","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001991834,0.0007204463,0.0007445797,0.001763672,0.000793114,0.002712727,0.0009266625,0.001655933,0.007048915],"category_scores_gemma":[0.01361785,0.000474602,0.0006720796,0.0007242834,0.0007606217,0.0019123,0.001356343,0.002485426,0.001994895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001102513,"about_ca_system_score_gemma":0.001337663,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006868665,"about_ca_topic_score_gemma":0.01107739,"domain_scores_codex":[0.9987348,0.0002256643,0.0001155024,0.0001950858,0.0004905781,0.0002384597],"domain_scores_gemma":[0.9848621,0.005174024,0.002583956,0.0009944666,0.003714539,0.002670924],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0006991322,0.008746261,0.853681,0.0002664812,0.000218359,0.0004462065,0.02754313,0.00106872,0.009376445,0.001625595,0.004850341,0.09147829],"study_design_scores_gemma":[0.0001026427,0.00216599,0.9681354,0.0001092635,0.0001386652,0.0005049929,0.01232269,0.002936688,0.005061998,0.001835738,0.00661826,0.00006765761],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9962974,0.00005526287,0.0001660762,0.00006655703,0.00000584571,0.00002400586,0.00004007731,0.00001682145,0.003327956],"genre_scores_gemma":[0.9963649,0.0001385433,0.0007098868,0.00004893825,0.000003561846,0.00002904092,0.0001708702,0.000006854294,0.002527457],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007048915,"threshold_uncertainty_score":0.02358091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05136938058106571,"score_gpt":0.3706261961440919,"score_spread":0.3192568155630262,"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."}}