{"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":"codex-gemma-dda1882f352a","candidate_categories":["sts"],"consensus_categories":[],"category_scores_codex":[0.0009816064,0.000066147,0.0002136603,0.0011931,0.0006101461,0.00007118026,0.0002914897,0.0000728848,0.00002407967],"category_scores_gemma":[0.001163712,0.00005830447,0.00003559518,0.002154162,0.003578275,0.0003687442,0.00001596991,0.0001126839,8.933839e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006898752,"about_ca_system_score_gemma":0.00481643,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.007737456,"about_ca_topic_score_gemma":0.212439,"domain_scores_codex":[0.9990538,0.00001396073,0.0003633197,0.0001208897,0.0002200908,0.0002278839],"domain_scores_gemma":[0.9985577,0.00008165237,0.0003925836,0.0001105702,0.0006421375,0.0002153843],"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":[9.393638e-7,0.00004388492,0.004772993,0.00001565141,0.000100192,0.00002763197,0.09047142,0.00002371418,0.0002910882,0.8954145,0.00006590222,0.008772125],"study_design_scores_gemma":[0.00003012767,0.00005302853,0.00009253667,0.00009380433,0.0002112289,0.0001500318,0.5132715,0.000554621,0.003471992,0.4817868,0.0001816556,0.0001027138],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9861826,0.0004410339,0.001067148,0.008866914,0.0002225386,0.0001208877,0.000003161146,0.000007514502,0.003088196],"genre_scores_gemma":[0.9910052,0.0000709814,0.008787658,0.00002397259,0.00007846118,0.000002467848,1.734042e-7,0.00000304055,0.00002807407],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4228001,"threshold_uncertainty_score":0.9991334,"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."}}