24 citations · 75 across the 13 of their papers we have counts for
1 paper · 1 filter
Marco Dos Santos, Vivek Veeriah, Alex Havrilla +4
Recent breakthroughs in AI for mathematics---ranging from Olympiad medal performances to resolving long-standing open conjectures---have rapidly expanded what automated systems can…