Separations in Proof Complexity and TFNP.

Mika Gs, Alexandros Hollender, Siddhartha Jain, Gilbert Maystre, William Pires, Robert Robere, Ran Tao

Browse the full FOCS paper archive.