TY  - RPRT
TI  - Separations in Proof Complexity and TFNP
AU  - Mika Göös
AU  - Alexandros Hollender
AU  - Siddhartha Jain
AU  - Gilbert Maystre
AU  - William Pires
AU  - Robert Robere
AU  - Ran Tao
PY  - 2024
DO  - 10.1145/3663758
UR  - https://arxiv.org/abs/2205.02168
ID  - 2205.02168
ER  -