{"id":"W1984336238","doi":"10.2178/jsl/1264433915","title":"Schnorr triviality and genericity","year":2010,"lang":"en","type":"article","venue":"Journal of Symbolic Logic","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Triviality; Corollary; Turing; Connection (principal bundle); Computer science; Mathematics; Pure mathematics; Programming language","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.001472367,0.0001648269,0.0003931636,0.0001620788,0.0001154401,0.0001904972,0.00109661,0.0001236481,0.00002979082],"category_scores_gemma":[0.0003378543,0.0001207892,0.0001374274,0.0003821609,0.0002670902,0.0004822451,0.0004297524,0.0006429181,0.000009442426],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003666909,"about_ca_system_score_gemma":0.0001393169,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001534496,"about_ca_topic_score_gemma":0.000007681983,"domain_scores_codex":[0.9983714,0.0001166518,0.0005402351,0.0002732617,0.000412226,0.0002862364],"domain_scores_gemma":[0.998397,0.0001774803,0.0003901256,0.0004966828,0.0002966037,0.0002421281],"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.00005013337,0.001297347,0.06612915,0.00009258228,0.0001480614,0.0004394268,0.002081317,0.0002560059,0.05440628,0.3254515,0.002017473,0.5476308],"study_design_scores_gemma":[0.002306788,0.001077632,0.4293315,0.00002911578,0.00005757708,0.005081862,0.00006687412,0.03608417,0.005161481,0.507913,0.0120631,0.0008269803],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7273367,0.0002228632,0.2678804,0.002117218,0.001522697,0.00009097116,9.318094e-7,0.00005631931,0.0007719336],"genre_scores_gemma":[0.9085732,0.0000347521,0.09038907,0.0004400462,0.0005298436,0.000001112998,1.03795e-7,0.000005339329,0.00002658665],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5468038,"threshold_uncertainty_score":0.4925639,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01084332765022075,"score_gpt":0.2438671298932027,"score_spread":0.2330238022429819,"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."}}