TY  - RPRT
TI  - A dataset of formalised theorem statements from the Annals of Mathematics
AU  - Thomas Browning
AU  - Katerina Hristova
AU  - David Ledvinka
AU  - Justus Springer
AU  - Hang Lu Su
AU  - Jack McKoen
AU  - Kevin Buzzard
PY  - 2026
UR  - https://arxiv.org/abs/2610.18301
ID  - 2610.18301
ER  -