{"id":"W2125293664","doi":"10.2178/jsl/1164060462","title":"Computability Results Used in Differential Geometry","year":2006,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Mathematics; Computability; Modulo; Maxima and minima; Computability theory; Differential geometry; Recursively enumerable language; Function (biology); Discrete mathematics; Pure mathematics; Geometry; Mathematical analysis","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.001704792,0.0002761337,0.0007298869,0.0005812282,0.00007972668,0.0002050801,0.001660558,0.0001616023,0.00002579199],"category_scores_gemma":[0.0002735459,0.000216726,0.0002967891,0.001180495,0.0001340238,0.0005071642,0.0004780328,0.0006153994,0.00002026105],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003008385,"about_ca_system_score_gemma":0.0001739402,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001704717,"about_ca_topic_score_gemma":0.0000509301,"domain_scores_codex":[0.9962482,0.0003676359,0.001550556,0.0004882431,0.0008100173,0.0005352821],"domain_scores_gemma":[0.9975722,0.0005688246,0.000689427,0.0007012847,0.0003034926,0.0001648019],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0009429549,0.01783958,0.5483577,0.0004099534,0.0003014779,0.003280331,0.005289983,0.08452581,0.01273357,0.1370067,0.007920871,0.181391],"study_design_scores_gemma":[0.003092056,0.0004804431,0.838786,0.00004542757,0.00001343551,0.0003704407,0.00003220473,0.03727426,0.0005537444,0.1185078,0.0004729872,0.0003712128],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7963895,0.0001809452,0.1996723,0.001470674,0.001153506,0.0001706577,0.000004250677,0.00006824575,0.0008899761],"genre_scores_gemma":[0.9782724,0.00000801603,0.02097308,0.0001063298,0.0005906969,0.00000177549,0.000001854793,0.000009653356,0.00003618038],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2904283,"threshold_uncertainty_score":0.8837832,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01754326544855362,"score_gpt":0.2507667551692935,"score_spread":0.2332234897207399,"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."}}