{"id":"W2244997347","doi":"10.4230/lipics.csl.2012.9","title":"Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk)","year":2012,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Proof complexity; Propositional variable; Computer science; Well-formed formula; Proof theory; Propositional calculus; Structural proof theory; Theoretical computer science; Calculus (dental); Mathematics; Programming language; Mathematical proof; Description logic; Intermediate logic; Medicine","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00193535,0.000576846,0.0006719427,0.0002708408,0.0009544007,0.001047096,0.001205741,0.0002735972,0.00001664701],"category_scores_gemma":[0.0002291974,0.0005021314,0.0002048,0.0004844997,0.0003047928,0.005682151,0.001452046,0.0005620189,0.00002993708],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002904062,"about_ca_system_score_gemma":0.00009638562,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006671815,"about_ca_topic_score_gemma":0.00002635188,"domain_scores_codex":[0.9957172,0.0001466634,0.001400189,0.0004392939,0.000798588,0.001498043],"domain_scores_gemma":[0.996857,0.0004386801,0.0006499356,0.0009237778,0.0006487127,0.0004818331],"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.0001834848,0.001462208,0.01813064,0.002656601,0.0004087897,0.000007488957,0.01702766,0.0006597145,0.0001071177,0.930012,0.00247991,0.0268644],"study_design_scores_gemma":[0.003780186,0.0006665267,0.005701697,0.0002550941,0.00006617106,0.001329392,0.00316358,0.9086684,0.0005882371,0.01186784,0.06248927,0.001423622],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1438426,0.0003381413,0.8464552,0.0007194752,0.002460352,0.002738128,0.0004536245,0.000548831,0.002443663],"genre_scores_gemma":[0.8999692,0.000008169112,0.09824147,0.0005933298,0.0005179707,0.0001999956,0.000379124,0.00004342169,0.00004732919],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9181442,"threshold_uncertainty_score":0.9999899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0262546949333249,"score_gpt":0.2601708381694452,"score_spread":0.2339161432361203,"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."}}