{"id":"W3165859977","doi":"10.1007/978-3-030-71430-7_18","title":"Reflections on Proof Complexity and Counting Principles","year":2021,"lang":"en","type":"book-chapter","venue":"Outstanding contributions to logic","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Proof complexity; Key (lock); Graph; Mathematical proof; Focus (optics); Upper and lower bounds; Discrete mathematics; Theoretical computer science; Computer science; Mathematics","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.005446231,0.000897194,0.001189845,0.002400211,0.00257235,0.00781897,0.003198665,0.00301022,0.02119985],"category_scores_gemma":[0.02230497,0.0008010257,0.0008125865,0.003002322,0.01635776,0.035417,0.003523723,0.01305044,0.003100602],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00660302,"about_ca_system_score_gemma":0.002097124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003033465,"about_ca_topic_score_gemma":0.002685168,"domain_scores_codex":[0.9961479,0.001486637,0.0001386358,0.000482712,0.001457562,0.0002866675],"domain_scores_gemma":[0.966654,0.02876296,0.0004967485,0.001631922,0.002002714,0.0004515625],"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.000004229071,0.000006196065,0.00001689049,0.00002435942,0.00000133032,0.000005947338,0.00005200827,0.0001996417,0.00001640543,0.9847136,0.01108568,0.003873598],"study_design_scores_gemma":[0.000003226288,0.000001110628,0.00002193888,0.00002766878,0.000001086514,0.00001246263,0.00002807078,0.0003196742,0.000042327,0.9698307,0.02970869,0.000002963905],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00692273,0.04428345,0.1454955,0.2182417,0.00632946,0.00003903636,0.0003484486,0.0004448034,0.5778948],"genre_scores_gemma":[0.425755,0.05536559,0.1125593,0.03965481,0.03065342,0.0003716627,0.0006134146,0.001785015,0.3332418],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02119985,"threshold_uncertainty_score":0.07092059,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1268991817977339,"score_gpt":0.3452532194782565,"score_spread":0.2183540376805226,"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."}}