{"id":"W2281251005","doi":"10.6151/cerq.2008.1602.03","title":"The Effects of Proof Features and Question Probing on Understanding Geometry Proof","year":2008,"lang":"en","type":"article","venue":"Educational research quarterly","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Mathematical proof; Generalizability theory; Computer-assisted proof; Proof of concept; Proof complexity; Direct proof; Computer science; Proof assistant; Calculus (dental); Mathematics; Mathematics education; Algebra over a field; Geometry; Pure mathematics; Statistics","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.01874593,0.0008538975,0.000910924,0.001310614,0.0006328718,0.004842038,0.00138521,0.001154206,0.004519237],"category_scores_gemma":[0.2908078,0.0008393931,0.0009297547,0.0007921684,0.002167333,0.00453782,0.003094407,0.002927602,0.0004442143],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001032846,"about_ca_system_score_gemma":0.0008923231,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008608092,"about_ca_topic_score_gemma":0.00094132,"domain_scores_codex":[0.9635375,0.02440462,0.002048848,0.003768536,0.005005506,0.00123507],"domain_scores_gemma":[0.3769296,0.5772642,0.0287165,0.008047084,0.005819579,0.003223013],"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.006416241,0.005176449,0.5900604,0.00165016,0.0007116959,0.001018071,0.1262477,0.00545505,0.06461134,0.002752343,0.0007350849,0.1951656],"study_design_scores_gemma":[0.0003023492,0.008038424,0.9138761,0.0004488771,0.0006340006,0.0007728984,0.03286142,0.01421092,0.01910307,0.0057964,0.003631521,0.0003240713],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9951296,0.00009909038,0.002366925,0.00007665908,0.000006285267,0.00009365214,0.00002130813,0.00004309854,0.002163401],"genre_scores_gemma":[0.9944369,0.00008360343,0.004612712,0.00004491554,0.000006911104,0.0001214496,0.00004933036,0.00003060699,0.0006136452],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01874593,"threshold_uncertainty_score":0.09913915,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1108103591491437,"score_gpt":0.4356375233872029,"score_spread":0.3248271642380592,"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."}}