{"id":"W2004502625","doi":"10.1007/s10758-007-9111-5","title":"AgentGeom: a multiagent system for pedagogical support in geometric proof problems","year":2007,"lang":"en","type":"article","venue":"International Journal of Computers for Mathematical Learning","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":27,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal","funders":"Generalitat de Catalunya","keywords":"Argumentative; TUTOR; Computer science; Process (computing); Mathematics education; Proof of concept; Science education; Human–computer interaction; Programming language; Mathematics; Epistemology","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":[],"consensus_categories":[],"category_scores_codex":[0.006660294,0.00010553,0.0002867417,0.0005989452,0.0001287028,0.0001235287,0.0005136267,0.00008488704,0.00006835054],"category_scores_gemma":[0.002238274,0.00009112388,0.0002231821,0.0001800649,0.00005852292,0.0001488035,0.00004036012,0.0002445063,0.000004364562],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003471432,"about_ca_system_score_gemma":0.0001380741,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008656986,"about_ca_topic_score_gemma":0.000006930071,"domain_scores_codex":[0.9979811,0.00009054066,0.0008592027,0.0001247014,0.0006717182,0.0002727412],"domain_scores_gemma":[0.9969504,0.001717875,0.0005383676,0.00006239975,0.0005934583,0.0001374569],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002068975,0.001305262,0.001325727,0.0007013632,0.0002280896,0.00004456643,0.04892089,0.001025627,0.000172351,0.880769,0.002224289,0.06307592],"study_design_scores_gemma":[0.009094949,0.002754801,0.000912463,0.005023427,0.0002306978,0.0006120538,0.03835746,0.06531068,0.003352757,0.3786167,0.4942756,0.001458389],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01793854,0.00001945917,0.9767162,0.0006211875,0.0006592785,0.0006228648,0.000001565211,0.00005111999,0.003369849],"genre_scores_gemma":[0.8385489,0.000004661895,0.1605281,0.00004819503,0.0004145913,0.00002593014,0.000003516364,0.00001435129,0.0004117574],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8206103,"threshold_uncertainty_score":0.3715924,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1092589774643511,"score_gpt":0.4306477322695604,"score_spread":0.3213887548052093,"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."}}