{"id":"W1516468647","doi":"","title":"Effectively Polynomial Simulations","year":2010,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Proof complexity; Structural proof theory; Computer science; Propositional calculus; Expressive power; Propositional formula; Theoretical computer science; Computational complexity theory; Propositional variable; Mathematics; Proof theory; Discrete mathematics; Algorithm; Mathematical proof","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.0001948086,0.00004200344,0.00003905775,0.00004610302,0.00007156672,0.00005863009,0.0003630049,0.00003734522,0.0000524235],"category_scores_gemma":[0.0001555633,0.000036553,0.00001914384,0.0001660992,0.00002301763,0.0004066202,0.00006907182,0.0001104589,0.0001262692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007497688,"about_ca_system_score_gemma":0.00001999423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001393758,"about_ca_topic_score_gemma":0.00001076031,"domain_scores_codex":[0.9995897,0.00003114156,0.00007288788,0.00013409,0.00008050395,0.00009170065],"domain_scores_gemma":[0.9994658,0.00009159862,0.00002377931,0.0003450739,0.00003630884,0.00003739131],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002011868,0.00003060004,0.0009981403,0.000001659821,0.000003283125,3.683263e-7,0.0001456004,0.0001215743,0.1173112,0.797664,0.0005579881,0.08316357],"study_design_scores_gemma":[0.00024316,0.0000512506,0.0872008,0.000001231233,0.00000213311,0.00000945977,0.000002745772,0.7563834,0.1312469,0.005374082,0.01931055,0.0001742267],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1051083,8.27508e-7,0.8768035,0.0001475162,0.0007755365,0.00007561918,4.542235e-7,0.0001682258,0.01691999],"genre_scores_gemma":[0.5227565,4.231198e-8,0.4769956,0.00005906658,0.00004009427,0.000002321692,2.145532e-7,0.000001416067,0.0001447309],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7922899,"threshold_uncertainty_score":0.1622977,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01544992245576848,"score_gpt":0.2995620371557112,"score_spread":0.2841121146999427,"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."}}