TY  - RPRT
TI  - From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
AU  - Eric Jiang
AU  - Xiao Liang
AU  - Yikai Zhang
AU  - Yingjia Wan
AU  - Mengting Li
AU  - Haikang Deng
AU  - Alexander K. Taylor
AU  - Justin Baker
AU  - Rushil Raghavan
AU  - Junyi Zhang
AU  - Ying Nian Wu
AU  - Andrea L. Bertozzi
AU  - Kai-Wei Chang
AU  - Raghu Meka
AU  - Matthew Sottile
AU  - Nanyun Peng
AU  - Amit Sahai
AU  - Terence Tao
AU  - Wei Wang
PY  - 2026
UR  - https://arxiv.org/abs/2607.07779
ID  - 2607.07779
ER  -