@misc{indiciaee9d27512e8ae,
  title = {From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier},
  author = {Eric Jiang and Xiao Liang and Yikai Zhang and Yingjia Wan and Mengting Li and Haikang Deng and Alexander K. Taylor and Justin Baker and Rushil Raghavan and Junyi Zhang and Ying Nian Wu and Andrea L. Bertozzi and Kai-Wei Chang and Raghu Meka and Matthew Sottile and Nanyun Peng and Amit Sahai and Terence Tao and Wei Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2607.07779},
  note = {Source identifier: 2607.07779}
}