{"id":"W4243376123","doi":"10.1007/978-94-007-4978-8_102","title":"Mathematical Proof, Argumentation, and Reasoning","year":2014,"lang":"en","type":"book-chapter","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Argumentation theory; Computer science; Calculus (dental); Cognitive science; Epistemology; Mathematics; Psychology; Philosophy; Medicine","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.0001889396,0.0001845012,0.000220999,0.00009200024,0.0001035769,0.0001868101,0.0003881353,0.0001077113,0.0002982242],"category_scores_gemma":[0.00001538728,0.0001604288,0.00005887026,0.0000223472,0.00008804148,0.0001038602,0.0002986751,0.0001708569,0.0001155498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001338196,"about_ca_system_score_gemma":0.00002140723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001426019,"about_ca_topic_score_gemma":0.000002137172,"domain_scores_codex":[0.9990245,0.000009373754,0.0002131523,0.000371058,0.00024116,0.0001407316],"domain_scores_gemma":[0.9992685,0.00009656299,0.00009001265,0.0004136415,0.00004783839,0.00008348813],"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":[3.327167e-7,0.000003396161,0.000001067178,0.00002851589,0.00001267943,0.000003269103,0.00007246464,2.928662e-7,6.599242e-7,0.9506491,0.001060178,0.04816802],"study_design_scores_gemma":[0.00009439954,0.00004041857,0.000007243419,0.0001319294,0.000009852373,0.00005193497,0.000001847421,0.01754061,0.00002899911,0.9099966,0.07187022,0.0002259478],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.000001378858,0.00006427664,0.5309326,0.0002176758,0.00006600827,0.00008928127,6.799194e-7,0.0000784369,0.4685496],"genre_scores_gemma":[0.0004204024,0.00002731122,0.3797326,0.0004236343,0.000132215,0.000008791534,0.000005347942,0.00001981819,0.6192299],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.1512,"threshold_uncertainty_score":0.6542095,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01897461946269193,"score_gpt":0.2372349231370425,"score_spread":0.2182603036743505,"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."}}