{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00056455,0.0003943042,0.0005689209,0.0002822927,0.0008929421,0.0006450489,0.0004755127,0.0003187517,0.00005052406],"category_scores_gemma":[0.000268131,0.0003537173,0.0001625094,0.0001992026,0.0001361756,0.000143279,0.0004631352,0.0004898502,0.00009124108],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004457156,"about_ca_system_score_gemma":0.0001743852,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000116244,"about_ca_topic_score_gemma":0.0000912007,"domain_scores_codex":[0.9976954,0.00007058441,0.0004728839,0.0008696757,0.0003928453,0.0004985417],"domain_scores_gemma":[0.9981927,0.0001966711,0.0002931114,0.0007276226,0.0003693367,0.0002205309],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000004915198,0.00002630226,0.0000212486,0.00003076837,0.0000597835,0.00004449578,0.0001356109,0.00002186877,0.0000434168,0.9982194,0.0003898651,0.001002353],"study_design_scores_gemma":[0.0003227938,0.0002778533,0.00006049763,0.0001311472,0.00005112033,0.0001006119,0.00003375569,0.0004724162,0.0001001383,0.3741526,0.6237309,0.0005661685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000005706962,0.0006508916,0.5522597,0.001857701,0.0007113356,0.0006537935,0.00007038542,0.0002976521,0.4434928],"genre_scores_gemma":[0.6054808,0.0001464727,0.01071737,0.001210733,0.001004377,0.0001769771,0.000240229,0.00008020295,0.3809429],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.6240668,"threshold_uncertainty_score":0.9998915,"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."}}