{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001802362,0.001008998,0.0008768397,0.001135251,0.001320355,0.003081462,0.001331027,0.001262603,0.009553883],"category_scores_gemma":[0.006387673,0.0005327089,0.001829509,0.0008624882,0.004373028,0.007791963,0.004899048,0.001455418,0.001571153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001787709,"about_ca_system_score_gemma":0.0008143166,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006082414,"about_ca_topic_score_gemma":0.000872538,"domain_scores_codex":[0.9974008,0.0004853086,0.0002769773,0.0007428143,0.0006188219,0.0004752812],"domain_scores_gemma":[0.9956123,0.0009894482,0.0007344572,0.00169434,0.0006460891,0.0003233267],"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.001465381,0.0001399342,0.009817561,0.0007483768,0.0001771456,0.0007497009,0.001093822,0.01944368,0.04126272,0.8636436,0.005056925,0.05640123],"study_design_scores_gemma":[0.0001065577,0.0003807975,0.003529937,0.0001971092,0.0001735126,0.00119438,0.000443088,0.04040508,0.05660704,0.8626285,0.03415898,0.000174898],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4635124,0.000703909,0.458153,0.001743383,0.0003733923,0.0003229038,0.001109089,0.00354082,0.07054108],"genre_scores_gemma":[0.9159885,0.0001587796,0.07601741,0.0003220551,0.0000936302,0.00009285037,0.0005815195,0.0003684771,0.006376849],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009553883,"threshold_uncertainty_score":0.0319609,"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."}}