459 citations · 966 across the 23 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…