Showing 2026Show all
2 papers · 1 filter
cs.AI2026
A dataset of formalised theorem statements from the Annals of Mathematics
Thomas Browning, Katerina Hristova, David Ledvinka +4
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.…
math.GR2026
Finitely generated positive cones in
Hang Lu Su
We construct, for every even , a positive cone on that is finitely generated as a semigroup, extending the previously known construction for $n = 2…