Publication
Publication
Scaling up Machine Learning
Publication
Sketching in Adversarial Environments
Video
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
Parallel Homomorphic Encryption
Publication