Provable Reductions in TFNP
Noah Fleming, Stefan Grosser, Toniann Pitassi, Robert Robere
Manuscript 2026. [PDF]
McGill University / Computer Science
Associate Professor · Computational Complexity · Proof Complexity
Noah Fleming, Stefan Grosser, Toniann Pitassi, Robert Robere
Manuscript 2026. [PDF]