Skip to content

Jump Operators, Interactive Proofs and Proof Complexity Generators.

Erfan Khaniki

VenueA*FOCS
Year2024
ProceedingsFOCS

Browse the full FOCS paper archive.