https://cs.uchicago.edu/events/event/roei-tell-ias-a-free-lunch-theorem-for-de-randomization-of-proof-systems-and-consequences/
Roei Tell (IAS) – A Free Lunch Theorem for De-randomization of Proof Systems, and Consequences –...
In the first half of the talk, I'll set up some background, by describing two recent directions in the study of de-randomization: A non-black-box algorithmic...
free lunch theoremproof systemsroeitellias