TY  - RPRT
TI  - Advancing Mathematics Research with AI-Driven Formal Proof Search
AU  - George Tsoukalas
AU  - Anton Kovsharov
AU  - Sergey Shirobokov
AU  - Anja Surina
AU  - Moritz Firsching
AU  - Gergely Bérczi
AU  - Francisco J. R. Ruiz
AU  - Arun Suggala
AU  - Adam Zsolt Wagner
AU  - Eric Wieser
AU  - Lei Yu
AU  - Aja Huang
AU  - Miklós Z. Horváth
AU  - Andrew Ferraiuolo
AU  - Henryk Michalewski
AU  - Edward Lockhart
AU  - Codrut Grosu
AU  - Thomas Hubert
AU  - Matej Balog
AU  - Pushmeet Kohli
AU  - Swarat Chaudhuri
PY  - 2026
UR  - https://arxiv.org/abs/2605.22763
ID  - 2605.22763
ER  -