Playing Simple Loony Dots-and-Boxes Endgames Optimally. - Kevin Buzzard; Michael Ciere (Integers, 2014)

What Makes a Mathematician Tick? (Invited Talk). - Kevin Buzzard (ITP, 2019)

Formalising perfectoid spaces. - Kevin Buzzard; Johan Commelin; Patrick Massot (CPP, 2020)

Mathematical Proof Between Generations. - Jonas Bayer; Christoph Benzmüller; Kevin Buzzard; Marco David; Leslie Lamport; Yuri V. Matiyasevich; Lawrence C. Paulson; Dierk Schleicher; Benedikt Stock; Efim I. Zelmanov (CoRR, 2022)

Schemes in Lean. - Kevin Buzzard; Chris Hughes; Kenny Lau; Amelia Livingston; Ramon Fernández Mir; Scott Morrison (Exp. Math., 2022)

Mathematical reasoning and the computer. - Kevin Buzzard (CoRR, 2025)