{"id":"W2951424111","doi":"10.2168/lmcs-2(1:3)2006","title":"Theories for TC0 and Other Small Complexity Classes","year":2006,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Complexity class; Natural number; Mathematical proof; Discrete mathematics; Bounded function; Polynomial; Isomorphism (crystallography); Boolean function; Function (biology); Class (philosophy); Binary number; Multiplication (music); Algebraic number; Time complexity; Combinatorics; Computer science; Arithmetic","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.003428213,0.0002198357,0.0003334156,0.0002456983,0.000421317,0.0005747312,0.00190857,0.00007748901,0.000006142726],"category_scores_gemma":[0.0001791026,0.0001733973,0.00008127017,0.001295601,0.001958559,0.0004125022,0.001128943,0.0001981347,0.000001866536],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003900874,"about_ca_system_score_gemma":0.00006569942,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008039413,"about_ca_topic_score_gemma":0.00004187601,"domain_scores_codex":[0.9974381,0.0003245514,0.0003797204,0.000972368,0.0002815941,0.0006036711],"domain_scores_gemma":[0.9973901,0.001684989,0.0001013173,0.0005916973,0.0001130445,0.0001188613],"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.000004697639,0.00007174494,0.0008502931,0.00000994532,0.00000139884,0.000003063474,0.00009273279,0.0001359907,0.0003233332,0.8055196,0.00001291497,0.1929743],"study_design_scores_gemma":[0.000232907,0.0001195864,0.01243696,0.00001409099,0.000001311101,0.00002002865,0.000003940998,0.3045549,0.0009988982,0.6796697,0.001758277,0.0001894072],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007615297,0.0001442434,0.9892541,0.0006176208,0.0007407446,0.0002917043,0.000004393133,0.0001705533,0.001161408],"genre_scores_gemma":[0.04548946,0.000003179896,0.9532617,0.001012418,0.0001807527,0.00002984926,3.452704e-7,0.00000576763,0.00001649542],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3044189,"threshold_uncertainty_score":0.7216391,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.136707778184027,"score_gpt":0.3898902504278553,"score_spread":0.2531824722438283,"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."}}