Similar Tracks
A Brief Tour of Proof Complexity: Lower Bounds and Open Problems - Toniann Pitassi
Institute for Advanced Study
Efficient Batch Verification: Recent Progress and Challenges - Ron Rothblum
Institute for Advanced Study