-
Developments in Formal Proofs (Bourbaki seminar) arxiv-link
-
The NSA Back Door to NIST notices-link
-
Mathematics in the age of the Turing machine arxiv-link
-
The fundamental lemma and the Hitchin fibration (after Ngo Bao Chau) (Bourbaki seminar) arxiv-link
-
The Mathematical Works of the 2010 Fields Medalists: The Work of Ngo Bao Chau notices-link
-
My teacher Paul J. Cohen notices-link
-
Formal proof arxiv-link
-
A statement of the fundamental lemma arxiv-link
-
Historical overview of the Kepler conjecture arxiv-link
-
What is motivic measure? arxiv-link
-
Cannonballs and honeycombs arxiv-link
-
The status of the Kepler conjecture springer-link