{"id":"W2784921327","doi":"10.1016/j.tcs.2019.07.003","title":"Type-two polynomial-time and restricted lookahead","year":2019,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada; CHIST-ERA; Agence Nationale de la Recherche","keywords":"Computability; Oracle; Class (philosophy); Time complexity; Mathematics; Closure (psychology); Polynomial; Discrete mathematics; Simple (philosophy); Subroutine; Computer science; Combinatorics; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.002657769,0.0007982468,0.001377236,0.001109103,0.002097724,0.004569993,0.004398475,0.001925644,0.0188514],"category_scores_gemma":[0.0197998,0.001033173,0.002329828,0.002145111,0.003513288,0.01383104,0.004270809,0.006033148,0.002019035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003020303,"about_ca_system_score_gemma":0.003758674,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003863166,"about_ca_topic_score_gemma":0.004076891,"domain_scores_codex":[0.9961739,0.0007196164,0.000222914,0.0009142263,0.0008185097,0.001150781],"domain_scores_gemma":[0.9794888,0.0103273,0.001094704,0.006877363,0.001339574,0.000872281],"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.001920593,0.000195555,0.00205107,0.0002981064,0.0000928111,0.00029551,0.000391525,0.03063603,0.003397702,0.9009814,0.01452393,0.0452158],"study_design_scores_gemma":[0.00008129346,0.00003808728,0.0001791865,0.00002045505,0.00006468713,0.000174554,0.00006676045,0.0501106,0.002274073,0.9441394,0.002817648,0.00003328367],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1852014,0.001525069,0.7177353,0.005653427,0.0009217234,0.0002319294,0.002308762,0.006434387,0.07998803],"genre_scores_gemma":[0.9005291,0.0003913283,0.07215028,0.000862716,0.0002876747,0.0001040306,0.0008100893,0.001034709,0.02383004],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0188514,"threshold_uncertainty_score":0.06306422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006589398957977416,"score_gpt":0.236649227521325,"score_spread":0.2300598285633476,"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."}}