{"id":"W2012638757","doi":"10.1145/2556663.2556672","title":"Review of computability and complexity theory by Steven Homer and Alan L. Selman","year":2013,"lang":"en","type":"article","venue":"ACM SIGACT News","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computability; Computer science; Computability theory; Mathematical economics; Cognitive science; Programming language; Theoretical computer science; Mathematics; Algorithm; Psychology","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.001111989,0.0002718862,0.0006270131,0.00005257646,0.0001040864,0.000113014,0.001211673,0.00007828532,0.000130704],"category_scores_gemma":[0.0004385732,0.0002242487,0.00008585516,0.0003064559,0.0004362591,0.0005065165,0.001673492,0.0002099454,0.00002325775],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004148497,"about_ca_system_score_gemma":0.00004681661,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006000185,"about_ca_topic_score_gemma":0.00002269458,"domain_scores_codex":[0.9975521,0.0005588528,0.000540818,0.0007155002,0.0002869241,0.0003458025],"domain_scores_gemma":[0.996726,0.001037885,0.000219323,0.001600881,0.000177982,0.0002379411],"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.00001332192,0.0005987507,0.04843171,0.004580799,0.0001113879,0.000004065279,0.00146428,0.000003581334,0.001266896,0.01349088,0.03527256,0.8947617],"study_design_scores_gemma":[0.001900967,0.0009451715,0.411479,0.001662316,0.00009443658,0.0001273888,0.0001869343,0.01858913,0.001124261,0.525615,0.03660525,0.001670168],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7998368,0.06533333,0.1122102,0.01565432,0.0005723505,0.003569646,0.00005936237,0.0005268389,0.002237211],"genre_scores_gemma":[0.9107381,0.004192112,0.07968601,0.005109626,0.00008628385,0.00005294138,0.00001843603,0.00002810797,0.00008834559],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8930916,"threshold_uncertainty_score":0.9144595,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02999220050859049,"score_gpt":0.2634734976997031,"score_spread":0.2334812971911126,"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."}}