{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002223744,0.0009951328,0.001344638,0.004115337,0.0008297501,0.002529336,0.001115401,0.001397303,0.007008914],"category_scores_gemma":[0.006522932,0.0006790228,0.000614597,0.006944288,0.002963586,0.005719086,0.001272691,0.005266705,0.005699156],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002863928,"about_ca_system_score_gemma":0.002567905,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003663824,"about_ca_topic_score_gemma":0.004455995,"domain_scores_codex":[0.9988261,0.000296812,0.00007533424,0.000207112,0.0005157926,0.00007881435],"domain_scores_gemma":[0.9944652,0.002927804,0.0002741086,0.0001769461,0.001762538,0.0003933956],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005591506,0.00003043359,0.0002181596,0.002699433,0.00005414498,0.00004435897,0.0001426432,0.0005855762,0.0003240799,0.06241736,0.779479,0.1539489],"study_design_scores_gemma":[0.000009908676,0.00002066251,0.0004117441,0.001142023,0.00001799877,0.0001283265,0.00006577586,0.0002062902,0.0001397103,0.03101586,0.9668254,0.0000163935],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"review","genre_scores_codex":[0.0001572799,0.9577714,0.001025612,0.03085065,0.005365298,0.000005707428,0.00004759069,0.00001629047,0.004760236],"genre_scores_gemma":[0.004260176,0.9658486,0.0007379684,0.0056705,0.01605632,0.00001570776,0.0001255006,0.00003943616,0.007245854],"genre_candidate":"review","genre_consensus":"review","teacher_disagreement_score":0.007008914,"threshold_uncertainty_score":0.02344716,"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."}}