{"id":"W6929227949","doi":"10.48550/arxiv.math/0306298","title":"The Informal Logic of Mathematical Proof","year":2003,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Biosensors and Analytical Detection","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Argumentation theory; Mathematical proof; Variety (cybernetics); Argument (complex analysis); Informal logic; Mathematical practice; Mathematical logic; Natural (archaeology); Philosophical analysis; Logical framework","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001113103,0.0001401824,0.0001784493,0.00004941488,0.00005446111,0.00001954123,0.0002120499,0.0002077442,0.00004495043],"category_scores_gemma":[0.0000270884,0.0001106162,0.0001398011,0.0001553729,0.0001047493,0.00004336439,0.0001086291,0.0003682052,0.00003753445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003985007,"about_ca_system_score_gemma":0.00001656543,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002721201,"about_ca_topic_score_gemma":0.000004496673,"domain_scores_codex":[0.9994537,0.00002024592,0.0001610569,0.0001447835,0.0000455096,0.0001746874],"domain_scores_gemma":[0.9994825,0.000054434,0.00005246423,0.0003078574,0.0000468194,0.00005599161],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002812032,0.00005361925,0.0001454194,0.0006534536,0.0002223129,0.0000328315,0.00006757738,0.6077948,0.0001748849,0.3891741,0.0004101322,0.001242749],"study_design_scores_gemma":[0.0002023229,0.00004265521,0.0003488884,0.00008268157,0.0001106642,0.000004437896,0.00008489279,0.8744333,0.002160888,0.1208575,0.001385712,0.0002861182],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7220948,0.0001762114,0.179897,0.00004830807,0.0006296995,0.0004759694,0.00002082112,0.0002724608,0.09638469],"genre_scores_gemma":[0.9984332,0.0001474928,0.00008441052,0.00000743874,0.0000222307,3.391355e-7,0.000001770439,0.00001123897,0.00129184],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2763384,"threshold_uncertainty_score":0.4510797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0416818496316831,"score_gpt":0.1607634164554504,"score_spread":0.1190815668237673,"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."}}