5 citations · 5 across the 2 of their papers we have counts for
Showing cs.AIShow 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.…
cs.AI2025
Mathematical reasoning and the computer
Kevin Buzzard
Computers have already changed the way that humans do mathematics: they enable us to compute efficiently. But will they soon be helping us to reason? And will they one day start re…