3 papers
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.CO2024
Generalizations of Scott's inequality and Pick's formula to rational polygons
Martin Bohnert, Justus Springer
We prove a sharp upper bound on the number of boundary lattice points of a rational polygon in terms of its denominator and the number of interior lattice points, generalizing Scot…
math.CO2024
Classifying rational polygons with small denominator and few interior lattice points
Martin Bohnert, Justus Springer
We present algorithms for classifying rational polygons with fixed denominator and number of interior lattice points. Our approach is to first describe maximal polygons and then co…