Publications

For a full list visit my Google Scholar page.

2025

GrokAlign: Geometric Characterisation and Acceleration of Grokking
arXiv

2024

Concept Boundary Vectors
Thomas Walker
arXiv
Tropical Expressivity of Neural Networks
arXiv
Tightening the Evaluation of PAC Bounds Using Formal Verification Results
Thomas Walker, Alessio Lomuscio
arXiv

2023

The Prime Minister's Mathematical Propositions
Thomas Walker
Imperial Natural Sciences Blog