1 citations · 1 across the 3 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
quant-ph2026
Discovering formally verified quantum programs with AI
Sergey Shirobokov, Ben Jaderberg, Katerina Hristova +23
The timeline by which quantum computers can solve breakthrough problems in science depends on improved quantum algorithms as much as on better hardware. Such algorithmic advances a…
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.…