{"id":"W2020046292","doi":"10.2178/jsl/1164060461","title":"Every 1-generic computes a properly 1-generic","year":2006,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Theoretical computer science; Mathematics; Discrete mathematics; Algorithm","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009296691,0.0003492485,0.0006927695,0.0003814654,0.0001635652,0.00031881,0.002139923,0.0001349002,0.00003132959],"category_scores_gemma":[0.00007705146,0.0002534385,0.000365223,0.00118389,0.0001399262,0.0007204689,0.0004813014,0.0004161739,0.00006886804],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002199131,"about_ca_system_score_gemma":0.00034822,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006201701,"about_ca_topic_score_gemma":0.000005763541,"domain_scores_codex":[0.9967556,0.0002328187,0.001083418,0.0004684504,0.0008634279,0.0005962617],"domain_scores_gemma":[0.9975978,0.0001875462,0.0007277893,0.0006877707,0.0005779242,0.0002212178],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001611055,0.007487542,0.03484639,0.0004544198,0.0006561552,0.004234448,0.003074259,0.09303474,0.06566379,0.1272378,0.07200933,0.59114],"study_design_scores_gemma":[0.005507377,0.005112429,0.3155372,0.0002834193,0.0002076882,0.01487947,0.0001697143,0.2407131,0.01078738,0.3577575,0.04586836,0.003176392],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3830142,0.004096388,0.6032061,0.003100215,0.002588373,0.0003413511,0.000002531154,0.0002515009,0.003399322],"genre_scores_gemma":[0.8532065,0.00005013325,0.144355,0.0007024489,0.001422653,0.000005467675,0.000001310304,0.00002031089,0.0002362074],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5879636,"threshold_uncertainty_score":0.9999918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02260261279235008,"score_gpt":0.2284143470181299,"score_spread":0.2058117342257798,"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."}}