{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0006532313,0.000479229,0.0004588598,0.000128197,0.0003427231,0.000178468,0.0004390877,0.0006844568,0.003316625],"category_scores_gemma":[0.0005938428,0.0004423202,0.00009749601,0.0005176044,0.0008137561,0.0002383611,0.00007121843,0.0008908853,0.001065918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003613036,"about_ca_system_score_gemma":0.00005394038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004136371,"about_ca_topic_score_gemma":0.000006113839,"domain_scores_codex":[0.9968235,0.0004512354,0.0003923936,0.001092425,0.0005167979,0.0007236119],"domain_scores_gemma":[0.9979302,0.0003928168,0.0004792744,0.0005921109,0.0002065306,0.0003990719],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0007098818,0.001020755,0.00007081901,0.0002398954,0.0001496612,0.0001984183,0.04756545,2.823613e-7,0.00009036872,0.8621555,0.001054307,0.08674464],"study_design_scores_gemma":[0.005375142,0.005545514,0.00799479,0.001913745,0.002112816,0.001093422,0.07214434,0.001076863,0.002759667,0.4307559,0.4642629,0.004964921],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.02217696,0.01178179,0.00005561548,0.01399354,0.00165408,0.001046546,0.00000711345,0.00006035101,0.949224],"genre_scores_gemma":[0.9501635,0.0005060757,0.0005113866,0.0004478399,0.0004160358,0.0001417868,0.0000339189,0.00004878581,0.04773062],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.9279866,"threshold_uncertainty_score":0.9998028,"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."}}