Intersection Classes in TFNP and Proof Complexity

Yuhao Li, William Pires, Robert Robere

ITCS 2024. [DROPS]