{"id":"W2396989770","doi":"","title":"Bounded-depth Frege lower bounds for weaker pigeonhole principles","year":2002,"lang":"en","type":"article","venue":"","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Pigeonhole principle; Bounded function; Mathematical proof; Lemma (botany); Mathematics; Upper and lower bounds; Tautology (logic); Discrete mathematics; Argument (complex analysis); Combinatorics; Computer science; Mathematical analysis","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.00870407,0.002067208,0.001858524,0.0027242,0.003537714,0.005748861,0.005454909,0.003055852,0.02927984],"category_scores_gemma":[0.05743315,0.001695852,0.0049859,0.001855784,0.007372648,0.03221697,0.01092735,0.01357855,0.003860977],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004618031,"about_ca_system_score_gemma":0.003112335,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001684595,"about_ca_topic_score_gemma":0.002076355,"domain_scores_codex":[0.9910079,0.002350422,0.0003641684,0.001653188,0.002776246,0.001848084],"domain_scores_gemma":[0.9049661,0.07491951,0.002658719,0.01222236,0.003387424,0.001845988],"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.0009129303,0.0003202,0.001903164,0.00101311,0.0001419054,0.0002537554,0.0007911233,0.01955473,0.01130005,0.8827232,0.01897237,0.06211349],"study_design_scores_gemma":[0.0001361638,0.00018932,0.0007161099,0.0001318232,0.000129333,0.0003433359,0.0001597068,0.05121803,0.009421759,0.9252286,0.01224577,0.00008011232],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08968815,0.003415399,0.806025,0.01612256,0.0008178442,0.0006405439,0.001236085,0.003792564,0.07826184],"genre_scores_gemma":[0.7013258,0.002569457,0.2680824,0.005621344,0.00151146,0.001146411,0.001347527,0.001758586,0.01663695],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02927984,"threshold_uncertainty_score":0.09795076,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0701979948883009,"score_gpt":0.2544185079142551,"score_spread":0.1842205130259542,"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."}}