{"id":"W4414298955","doi":"10.1017/jsl.2025.10143","title":"ON THE COMPUTABILITY OF OPTIMAL SCOTT SENTENCES","year":2025,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Sentence; Countable set; Computable number; Computable analysis; Computable function; Computability; Set (abstract data type)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003548288,0.0003707474,0.0008284714,0.001733631,0.002011356,0.003677323,0.001174378,0.001092492,0.005632888],"category_scores_gemma":[0.01718552,0.0006012374,0.001623826,0.0008424581,0.004523605,0.008543741,0.003341027,0.002103095,0.0003270388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002840513,"about_ca_system_score_gemma":0.00132602,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001828823,"about_ca_topic_score_gemma":0.002678794,"domain_scores_codex":[0.9965304,0.000986994,0.0002509571,0.0006843518,0.001031009,0.0005162217],"domain_scores_gemma":[0.9803905,0.01453897,0.001161826,0.001863173,0.00118412,0.0008613521],"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.0002525036,0.0001044254,0.002366476,0.0001414851,0.00005316854,0.0002236055,0.0009870963,0.01224681,0.00509992,0.9686928,0.001584373,0.008247378],"study_design_scores_gemma":[0.00005404413,0.00006409055,0.00120314,0.00003180689,0.00003678653,0.0001026314,0.0002114419,0.04028764,0.004112943,0.9517063,0.002156706,0.0000322819],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7220213,0.0004649738,0.2255107,0.003034182,0.00008220035,0.0001484746,0.000657833,0.0008306162,0.04724967],"genre_scores_gemma":[0.9748033,0.0001016293,0.02207127,0.0002337813,0.00008601524,0.00006368762,0.0003270493,0.00008731539,0.00222608],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005632888,"threshold_uncertainty_score":0.0206095,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01896401671791941,"score_gpt":0.2709963990381654,"score_spread":0.252032382320246,"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."}}