@misc{indiciae1883c3f72eef,
  title = {MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize},
  author = {Jiaxin Yuan and Connor Martinez Lockhart and Xiaoyu Liu and Jiaqi Wang and Chenghao Deng and Xiayimei Han and Vlassis Mastrantonis and Dmitrii Gudin and Shaopeng Zhu and Abdirisak Mohamed and Bilal Aytekin and Jiewen Lang and Zezheng Song and Furong Huang},
  year = {2026},
  url = {https://arxiv.org/abs/2608.25449},
  note = {Source identifier: 2608.25449}
}