@misc{indiciae5ef18a957404,
  title = {Separations in Proof Complexity and TFNP},
  author = {Mika Göös and Alexandros Hollender and Siddhartha Jain and Gilbert Maystre and William Pires and Robert Robere and Ran Tao},
  year = {2024},
  doi = {10.1145/3663758},
  url = {https://arxiv.org/abs/2205.02168},
  note = {Source identifier: 2205.02168}
}