For a full list visit my Google Scholar page. 2025 GrokAlign: Geometric Characterisation and Acceleration of Grokking Thomas Walker, Ahmed Imtiaz Humayun, Randall Balestriero, Richard Baraniuk [arXiv] [HiDL ICML] [Blog] arXiv 2024 Concept Boundary Vectors Thomas Walker [Paper] [Blog] arXiv Tropical Expressivity of Neural Networks Paul Lezeau, Thomas Walker, Yueqi Cao, Shiv Bhatia, Anthea Monod [Paper] [Blog] arXiv Tightening the Evaluation of PAC Bounds Using Formal Verification Results Thomas Walker, Alessio Lomuscio [Paper] [Blog] arXiv 2023 The Prime Minister's Mathematical Propositions Thomas Walker [Article] Imperial Natural Sciences Blog