TY  - RPRT
TI  - MathAdv: What Theorem Provers Know, Reason, Formalize, and Generalize
AU  - Jiaxin Yuan
AU  - Connor Martinez Lockhart
AU  - Xiaoyu Liu
AU  - Jiaqi Wang
AU  - Chenghao Deng
AU  - Xiayimei Han
AU  - Vlassis Mastrantonis
AU  - Dmitrii Gudin
AU  - Shaopeng Zhu
AU  - Abdirisak Mohamed
AU  - Bilal Aytekin
AU  - Jiewen Lang
AU  - Zezheng Song
AU  - Furong Huang
PY  - 2026
UR  - https://arxiv.org/abs/2608.25449
ID  - 2608.25449
ER  -