{"id":"W4366777573","doi":"10.1017/jsl.2023.26","title":"ON THE C.E. DEGREES REALIZABLE IN $\\Pi ^0_1$ CLASSES","year":2023,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Marsden Fund; Ministry of Education, India","keywords":"Class (philosophy); Mathematics; Degree (music); Pi; Set (abstract data type); Bounded function; Combinatorics; Discrete mathematics; Representation (politics); Computer science; Mathematical analysis; Artificial intelligence; Physics","routes":{"ca_aff":true,"ca_fund":true,"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.002157758,0.0001806646,0.0003686153,0.0004139261,0.0001169711,0.0001881633,0.001821464,0.00008691352,0.00004387266],"category_scores_gemma":[0.000627227,0.0001052809,0.0001681791,0.001649704,0.00008465511,0.0003211279,0.0003823165,0.0004707592,0.0001458133],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001386998,"about_ca_system_score_gemma":0.0001708961,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004002316,"about_ca_topic_score_gemma":0.00003383345,"domain_scores_codex":[0.9977483,0.0003042045,0.0006110331,0.0002695488,0.0006306545,0.0004363],"domain_scores_gemma":[0.9975529,0.001258688,0.0003197622,0.0005869127,0.0001728405,0.0001089151],"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.00007048846,0.001005906,0.02007868,0.00007911167,0.0001284712,0.001817996,0.004127345,0.06007865,0.0009079876,0.793326,0.06192286,0.05645652],"study_design_scores_gemma":[0.0008783846,0.0009518054,0.1370446,0.0001649855,0.00001380539,0.0003604059,0.0004665743,0.1029312,0.0003765135,0.7513278,0.00509012,0.0003937877],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8992476,0.000651499,0.04762984,0.03638529,0.002697221,0.000477743,0.000003159724,0.0003106666,0.01259695],"genre_scores_gemma":[0.9939888,0.000184819,0.004319564,0.001012412,0.0002624952,0.000006755746,3.833298e-7,0.00001151994,0.0002132969],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.1169659,"threshold_uncertainty_score":0.429323,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04941310205998194,"score_gpt":0.2843571914520112,"score_spread":0.2349440893920293,"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."}}