TY  - RPRT
TI  - On Pigeonhole Principles and Ramsey in TFNP
AU  - Siddhartha Jain
AU  - Jiawei Li
AU  - Robert Robere
AU  - Zhiyang Xun
PY  - 2024
UR  - https://arxiv.org/abs/2401.12604
ID  - 2401.12604
ER  -