{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.002839416,0.00006336338,0.00007731963,0.0002188261,0.001721959,0.00009289045,0.0002043835,0.00005450373,0.00002355891],"category_scores_gemma":[0.003434908,0.0000471899,0.00002455804,0.0003437495,0.000627424,0.0001173424,0.00001157052,0.0002891092,0.000004204486],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002600179,"about_ca_system_score_gemma":0.000733948,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003197131,"about_ca_topic_score_gemma":0.0001965638,"domain_scores_codex":[0.9980415,0.0006288082,0.0001458426,0.0001530457,0.0007853386,0.0002454705],"domain_scores_gemma":[0.9950112,0.004441331,0.00007402413,0.0001613218,0.0002177271,0.00009442474],"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":[0.000009522187,0.0001723194,0.0005167448,0.00008487691,0.000008457453,2.329949e-7,0.04248578,7.044947e-8,0.0001777599,0.9409611,0.01214865,0.003434489],"study_design_scores_gemma":[0.0001556325,0.0007561794,0.01015747,0.0004192668,0.000004868291,0.000008201821,0.01791887,0.00001202749,0.001891105,0.964011,0.004523336,0.0001420547],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8538925,0.00137187,0.003405419,0.04908492,0.000913696,0.003624465,0.000003470944,0.0001058779,0.08759777],"genre_scores_gemma":[0.9940532,0.00007059206,0.0006105572,0.0000195293,0.0001892676,0.0001608906,0.000002592333,0.000007580481,0.004885753],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1401607,"threshold_uncertainty_score":0.9995776,"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."}}