{"id":"W2006367699","doi":"10.1145/380752.380821","title":"Regular resolution lower bounds for the weak pigeonhole principle","year":2001,"lang":"en","type":"article","venue":"","topic":"Geometric and Algebraic Topology","field":"Mathematics","cited_by":23,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Pigeonhole principle; Resolution (logic); Constant (computer programming); Mathematics; Combinatorics; Discrete mathematics; Computer science; Artificial intelligence","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.006358474,0.001738331,0.002008651,0.002066349,0.003006116,0.004991741,0.004850922,0.00302469,0.0217187],"category_scores_gemma":[0.03033138,0.001445303,0.004402421,0.001643774,0.006781002,0.02027908,0.010074,0.009898508,0.00360008],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002250273,"about_ca_system_score_gemma":0.001244214,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001099288,"about_ca_topic_score_gemma":0.001023696,"domain_scores_codex":[0.9934791,0.001493943,0.0003031484,0.001593985,0.001965943,0.001163746],"domain_scores_gemma":[0.9672315,0.02229088,0.001605685,0.00583217,0.001651146,0.00138862],"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.0003805863,0.0001547659,0.0008366677,0.0005647354,0.000201686,0.0003637437,0.0005723551,0.008588411,0.005380431,0.9454987,0.01069306,0.02676488],"study_design_scores_gemma":[0.0000828046,0.0001213566,0.0004492694,0.00006412736,0.0001363818,0.0002847064,0.000104032,0.03265798,0.003559222,0.9526763,0.009808161,0.00005559826],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08096005,0.003263981,0.8277175,0.008198847,0.0006304125,0.0003344154,0.0007873764,0.002066525,0.07604078],"genre_scores_gemma":[0.7172152,0.002146663,0.2457153,0.003455511,0.00161098,0.0007393149,0.001363169,0.001452194,0.02630165],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0217187,"threshold_uncertainty_score":0.07265633,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05089050408067105,"score_gpt":0.3264380653471941,"score_spread":0.275547561266523,"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."}}