{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002643032,0.0008488755,0.0009383355,0.002651335,0.001597741,0.005843021,0.0009576287,0.002122015,0.01545164],"category_scores_gemma":[0.007351427,0.0009011948,0.000922941,0.002795912,0.003309509,0.01012014,0.004217736,0.005203009,0.002534809],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00298744,"about_ca_system_score_gemma":0.0008010478,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007547019,"about_ca_topic_score_gemma":0.00053037,"domain_scores_codex":[0.9985632,0.0005798692,0.00006154856,0.0002768564,0.0003732564,0.0001452423],"domain_scores_gemma":[0.9968779,0.002494373,0.0001010194,0.0001408587,0.0002269847,0.0001588394],"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.00005915855,0.00003081347,0.0002326658,0.0003068896,0.00004577042,0.00008492857,0.0004511148,0.001346074,0.0006549107,0.9230735,0.0396917,0.03402245],"study_design_scores_gemma":[0.00001449489,0.0000147274,0.0003002037,0.0001396563,0.00002833534,0.00008872109,0.000125669,0.001424902,0.0003016533,0.9427764,0.054762,0.00002327086],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04400197,0.2015972,0.4881164,0.08764057,0.01941553,0.0001065503,0.0008483233,0.001433899,0.1568397],"genre_scores_gemma":[0.637629,0.0983347,0.09517962,0.01804034,0.0390602,0.0006181829,0.001744617,0.001288431,0.1081049],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01545164,"threshold_uncertainty_score":0.05169088,"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."}}