Publication
Algorithms
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
Publication
Sketching in Adversarial Environments
Publication
Scaling up Machine Learning
Vidéo
PCPs and Expander Graphs
A probabilistically checkable proof (PCP) is a special format for writing proofs that is very robust. In this format, a proof of a false theorem is guaranteed to have so many bugs that it can…
Publication
How to Write a 21st Century Proof
Publication