Advancing mathematics by guiding human intuition with AI. - Alex Davies; Petar Velickovic; Lars Buesing; Sam Blackwell; Daniel Zheng; Nenad Tomasev; Richard Tanburn; Peter W. Battaglia; Charles Blundell; András Juhász; Marc Lackenby; Geordie Williamson; et al. (Nat., 2021)

Is deep learning a useful tool for the pure mathematician? - Geordie Williamson (CoRR, 2023)

Equivariant neural networks and piecewise linear representation theory. - Joel Gibson; Daniel Tubbenhauer; Geordie Williamson (CoRR, 2024)

PatternBoost: Constructions in Mathematics with a Little Help from AI. - François Charton; Jordan S. Ellenberg; Adam Zsolt Wagner; Geordie Williamson (CoRR, 2024)

Advancing Geometry with AI: Multi-agent Generation of Polytopes. - Grzegorz Swirszcz; Adam Zsolt Wagner; Geordie Williamson; Sam Blackwell; Bogdan Georgiev; Alex Davies; S. M. Ali Eslami; Sébastien Racanière; Theophane Weber; Pushmeet Kohli (CoRR, 2025)

Drums of high width. - Alex Davies; Prateek Gupta; Sébastien Racanière; Grzegorz Swirszcz; Adam Zsolt Wagner; Theophane Weber; Geordie Williamson (CoRR, 2025)