The signature and cusp geometry of hyperbolic knots. - Alex Davies; András Juhász; Marc Lackenby; Nenad Tomasev (CoRR, 2021)

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)

The unknotting number, hard unknot diagrams, and reinforcement learning. - Taylor Applebaum; Sam Blackwell; Alex Davies; Thomas Edlich; András Juhász; Marc Lackenby; Nenad Tomasev; Daniel Zheng (CoRR, 2024)

Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning. - Simon Frieder; Jonas Bayer; Katherine M. Collins; Julius Berner; Jacob Loader; András Juhász; Fabian Ruehle; Sean Welleck; Gabriel Poesia; Ryan-Rhys Griffiths; Adrian Weller; Anirudh Goyal; et al. (CoRR, 2024)