Goos, MikaHollender, AlexandrosJain, SiddharthaMaystre, GilbertPires, WilliamRobere, RobertTao, Ran2023-01-172023-01-172023-01-17202210.1109/FOCS54457.2022.00111https://infoscience.epfl.ch/handle/20.500.14299/193988Separations in Proof Complexity and TFNPtext::conference output::conference proceedings::conference paper