{"id":"W4404849704","doi":"10.1109/focs61266.2024.00033","title":"On Pigeonhole Principles and Ramsey in TFNP","year":2024,"lang":"en","type":"article","venue":"","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"National Science Foundation","keywords":"Pigeonhole principle; Computer science; Ramsey theory; Mathematical economics; Mathematics; Combinatorics","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.002102258,0.000878609,0.0009213735,0.0008822936,0.001957064,0.002368105,0.002065002,0.001551797,0.007493851],"category_scores_gemma":[0.01064821,0.0005799754,0.002791151,0.0008935669,0.004377095,0.007236702,0.003961836,0.006472155,0.000795449],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002514138,"about_ca_system_score_gemma":0.00233021,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006463815,"about_ca_topic_score_gemma":0.00522208,"domain_scores_codex":[0.9975876,0.0006842499,0.00008154185,0.0005320808,0.00056015,0.0005543616],"domain_scores_gemma":[0.9933745,0.004512426,0.0003029669,0.001124409,0.0003674054,0.0003182055],"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.0001800797,0.0001481161,0.0004804711,0.000213387,0.00005849259,0.0001572654,0.0005666324,0.03823247,0.002138701,0.9337184,0.008021571,0.01608448],"study_design_scores_gemma":[0.00007587549,0.00009312858,0.0003047166,0.00003799802,0.00003530621,0.0001434762,0.0001207445,0.05852585,0.00159734,0.9288087,0.01022119,0.00003564243],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2520503,0.001981714,0.594765,0.008970051,0.0007519053,0.0005756443,0.0007236066,0.0017687,0.1384131],"genre_scores_gemma":[0.83042,0.001049498,0.1437607,0.002499744,0.0004515607,0.000556258,0.001046158,0.0004196342,0.01979647],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007493851,"threshold_uncertainty_score":0.02506942,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02131677302376294,"score_gpt":0.253050296082326,"score_spread":0.2317335230585631,"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."}}