{"id":"W1556245666","doi":"10.1109/lics.2004.52","title":"VTC: A Second-Order Theory for TC","year":2004,"lang":"en","type":"article","venue":"TSpace","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Mathematics; Order (exchange); Discrete mathematics; Class (philosophy); Combinatorics; Model theory; Axiom; Polynomial; Computer science; Mathematical analysis","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.0006950891,0.000163624,0.0001833806,0.00006763374,0.0001230215,0.0001240214,0.0008794281,0.00007047868,0.0001304422],"category_scores_gemma":[0.0001721827,0.0001488793,0.00009897395,0.0003613681,0.00006726011,0.0002131531,0.0003317769,0.0001224137,0.0001225607],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009855848,"about_ca_system_score_gemma":0.0001633921,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002990996,"about_ca_topic_score_gemma":0.00004592453,"domain_scores_codex":[0.9986929,0.00007173279,0.0001596758,0.0004965584,0.000188694,0.0003904796],"domain_scores_gemma":[0.9985727,0.0003366864,0.00006022121,0.0007837703,0.0001367931,0.0001098453],"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.00002793208,0.0003221227,0.00007941436,0.00006998369,0.00004435007,0.00002116293,0.01191822,0.002497234,0.001024685,0.8788948,0.002248083,0.102852],"study_design_scores_gemma":[0.002085522,0.0004261104,0.00156516,0.00002511873,0.00001328023,0.0000663365,0.0004160982,0.02787978,0.006252601,0.8964286,0.06417319,0.0006681492],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01842581,0.0002154747,0.9701543,0.003551489,0.0005662151,0.0003931568,0.000002013277,0.0003606544,0.006330818],"genre_scores_gemma":[0.3676156,0.000004167793,0.624456,0.001643159,0.0003028383,0.00009426269,0.000002670456,0.00002832555,0.005853019],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3491897,"threshold_uncertainty_score":0.6071122,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0219962720430386,"score_gpt":0.3094834608469236,"score_spread":0.287487188803885,"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."}}