TY  - RPRT
TI  - AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
AU  - Prithwish Jana
AU  - Viet Bach Hoang
AU  - Logan Luna
AU  - Viresh Pati
AU  - Akash Singirikonda
AU  - Cy Xie
AU  - Lisa Carbone
AU  - Wuyang Chen
AU  - Walter Moreira
AU  - Joe Stubbs
AU  - Sriram Vishwanath
AU  - Vijay Ganesh
PY  - 2026
UR  - https://arxiv.org/abs/2610.05367
ID  - 2610.05367
ER  -