{"id":"W1969272700","doi":"10.1080/14926150509556676","title":"A procedural route toward understanding aspects of proof: Case studies from real analysis","year":2005,"lang":"en","type":"article","venue":"Canadian Journal of Science Mathematics and Technology Education","topic":"Artificial Intelligence in Law","field":"Social Sciences","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Computer science; Epistemology; Psychology; Philosophy","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.02322092,0.000828591,0.0008032346,0.003171811,0.004347019,0.01059787,0.005263523,0.00564961,0.008642728],"category_scores_gemma":[0.0812678,0.001017194,0.001164355,0.00213711,0.02474721,0.02234955,0.007337513,0.006347782,0.0007810314],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003628892,"about_ca_system_score_gemma":0.004274225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004762113,"about_ca_topic_score_gemma":0.006149844,"domain_scores_codex":[0.9787955,0.0168893,0.0007731087,0.0007747625,0.002243663,0.0005236684],"domain_scores_gemma":[0.9224787,0.06001363,0.002859581,0.0109687,0.003029125,0.0006502172],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"qualitative","study_design_scores_codex":[0.0001438156,0.0001966796,0.002711542,0.0003988379,0.00004649727,0.001612245,0.04422795,0.003854513,0.001453431,0.9063487,0.002801481,0.03620435],"study_design_scores_gemma":[0.00006449468,0.00009045158,0.001359663,0.0004825928,0.00003665821,0.001915713,0.02424215,0.008307186,0.002907552,0.9001617,0.06037092,0.0000608404],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1059077,0.00186557,0.8003414,0.02352234,0.00008474016,0.0005735641,0.000284351,0.0002767325,0.06714363],"genre_scores_gemma":[0.7197599,0.000933582,0.2748648,0.0005254235,0.00002873549,0.0002246447,0.0002140739,0.0001832374,0.003265512],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02322092,"threshold_uncertainty_score":0.1228055,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09552105295778333,"score_gpt":0.3800382399532035,"score_spread":0.2845171869954202,"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."}}