{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002955501,0.000673763,0.0005403153,0.0007433366,0.001253448,0.0024456,0.001589354,0.001389392,0.008651438],"category_scores_gemma":[0.01360381,0.0005123632,0.001528709,0.0006921762,0.004788459,0.008882434,0.004376251,0.003255758,0.001214794],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001550701,"about_ca_system_score_gemma":0.002024759,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008708868,"about_ca_topic_score_gemma":0.0008720011,"domain_scores_codex":[0.9948131,0.002198848,0.0003018782,0.001093705,0.001081332,0.0005111017],"domain_scores_gemma":[0.9888783,0.005931979,0.0007786538,0.003228157,0.0008312201,0.0003517518],"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.00002390962,0.00001996956,0.0003308831,0.00005375952,0.00001720665,0.00007261449,0.0002092729,0.009697353,0.00124867,0.9806752,0.0003899522,0.007261208],"study_design_scores_gemma":[0.00002334296,0.00005683523,0.0001212832,0.00002974115,0.00001962093,0.0001657284,0.00006789033,0.03592925,0.003274651,0.9420932,0.01820236,0.00001605016],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02322689,0.0001825752,0.9488281,0.000812568,0.00008419146,0.0001438778,0.000140225,0.0004407823,0.02614078],"genre_scores_gemma":[0.7283799,0.0004630987,0.2581123,0.000754868,0.0001512317,0.0003832978,0.0003159677,0.0002445298,0.01119481],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008651438,"threshold_uncertainty_score":0.02894193,"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."}}