{"id":"W1461336424","doi":"10.1112/tlm3.12001","title":"On the logical strengths of partial solutions to mathematical problems","year":2017,"lang":"en","type":"article","venue":"Transactions of the London Mathematical Society","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Prevention of Organ Failure","funders":"Fondation Sciences Mathématiques de Paris; Fonds Wetenschappelijk Onderzoek; Universiteit Gent; Agence Nationale de la Recherche; John Templeton Foundation","keywords":"Computer science; Calculus (dental); Management science; Mathematical economics; Mathematics; Medicine; Engineering","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.001162178,0.0002276911,0.0004359198,0.00002200227,0.0009584405,0.0001396518,0.003059233,0.0001367082,0.0003214754],"category_scores_gemma":[0.000636178,0.0001222377,0.0007720487,0.0002617055,0.000787388,0.0001782831,0.0003420337,0.0004159849,0.00007291452],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006156988,"about_ca_system_score_gemma":0.00006951363,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001441903,"about_ca_topic_score_gemma":0.000004159458,"domain_scores_codex":[0.997658,0.0001611539,0.000639408,0.0003799534,0.000739284,0.0004222677],"domain_scores_gemma":[0.9951834,0.001753475,0.000272914,0.002504206,0.0001456324,0.0001403715],"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.00001192515,0.00198907,0.00001906733,0.0002403056,0.0001479368,4.87873e-7,0.003129614,0.00686601,0.001069893,0.9787562,0.0007260198,0.007043467],"study_design_scores_gemma":[0.0004004276,0.0002574291,0.0005471367,0.0001775345,0.00007798865,0.00001450381,0.0001267147,0.2927032,0.005635173,0.6996581,0.0001689319,0.0002329125],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02651694,0.000009945899,0.955412,0.01574892,0.0001696097,0.000830449,0.00001922265,0.00007817199,0.001214742],"genre_scores_gemma":[0.9304143,0.000004778256,0.0690953,0.000151048,0.00003196032,0.00008824975,2.047601e-7,0.00001220052,0.0002019786],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9038973,"threshold_uncertainty_score":0.7371646,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04437095089816154,"score_gpt":0.2806658941257851,"score_spread":0.2362949432276236,"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."}}