465 citations · 1.7k across the 47 of their papers we have counts for
1 paper · 1 filter
Adrián Zámečník, Matěj Kripner, Martin Koutecký +5
Large language models are increasingly contributing to mathematical research, where progress often depends on efficient proof search, incremental improvements and careful verificat…