A dataset of formalised theorem statements from the Annals of Mathematics.

arXiv:2610.18301v1 Announce Type: new Abstract: Recent progress in autoformalisation of mathematics using AI has been impressive. Measuring this progress requires datasets of formal statements that are both hard and trustworthy. We present AnnalsChallenge: 50