{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001172771,0.0006673927,0.000512429,0.002013511,0.001953674,0.004281393,0.001458717,0.001271607,0.006428002],"category_scores_gemma":[0.001709902,0.0004982629,0.001590456,0.001767679,0.003559746,0.004782112,0.001996361,0.003320393,0.001251906],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003738754,"about_ca_system_score_gemma":0.002012839,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006539699,"about_ca_topic_score_gemma":0.004615941,"domain_scores_codex":[0.9985178,0.0002130022,0.000109216,0.0003125909,0.0005383391,0.0003089906],"domain_scores_gemma":[0.9982767,0.0005264033,0.0001224592,0.0003088286,0.0005830894,0.0001824998],"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.000005323967,0.000005755039,0.0001065214,0.00001778761,0.000002930684,0.000026794,0.0001035543,0.0003094867,0.0004211629,0.9967682,0.0006975928,0.001534881],"study_design_scores_gemma":[0.00002526816,0.00004417837,0.0003017696,0.00004118698,0.00002137486,0.0002188773,0.0001636335,0.01624184,0.003159518,0.9169875,0.06276332,0.00003156012],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05299921,0.001328276,0.8339497,0.001645232,0.0005382173,0.0001762463,0.001523099,0.001484127,0.1063559],"genre_scores_gemma":[0.7478979,0.00065515,0.1994808,0.001326472,0.000625049,0.0005072901,0.003376993,0.0006374098,0.04549292],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006539699,"threshold_uncertainty_score":0.02712673,"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."}}