activity
20172026
most citedClassical Limits of Unbounded Quantities by Strict Quantization

3 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 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.…