4 citations · 7 across the 5 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…