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