{"id":"W7132860658","doi":"","title":"Proof, practice, and progress","year":2002,"lang":"","type":"dissertation","venue":"TSpace","topic":"Philosophy and Theoretical Science","field":"Psychology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Dilemma; Mathematical practice; Argument (complex analysis); Naturalism; Natural (archaeology); GRASP; Order (exchange); Philosophy of mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.02821655,0.0006523582,0.0008109926,0.002681616,0.005161675,0.01213562,0.002666599,0.005250813,0.01922342],"category_scores_gemma":[0.04397936,0.0006988614,0.0005672613,0.001823154,0.04684796,0.02314885,0.01022915,0.005448063,0.003581298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007257534,"about_ca_system_score_gemma":0.006441611,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003283348,"about_ca_topic_score_gemma":0.001870922,"domain_scores_codex":[0.9787662,0.01260151,0.001158262,0.002808708,0.003590016,0.001075202],"domain_scores_gemma":[0.9649492,0.02009332,0.001729959,0.008241423,0.003781877,0.001204303],"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":[0.000003228205,0.000004445146,0.00006944691,0.00002937839,0.000001792249,0.0000175823,0.0008916453,0.0001058625,0.00002335743,0.9937949,0.001229252,0.003829057],"study_design_scores_gemma":[0.00001235598,0.00001024556,0.00008708493,0.000158358,0.000002644227,0.00005645488,0.0008591209,0.0002814126,0.0001337903,0.8938456,0.1045465,0.000006395513],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.01694616,0.02050422,0.1059125,0.108276,0.0009002397,0.000159458,0.0001028713,0.0004053274,0.7467932],"genre_scores_gemma":[0.8713099,0.01080092,0.05666954,0.005289082,0.0008175563,0.000329788,0.0001122229,0.0003838644,0.05428701],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02821655,"threshold_uncertainty_score":0.1492252,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02850691443411155,"score_gpt":0.4056351289894603,"score_spread":0.3771282145553487,"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."}}