@misc{indiciaeefbfa563137d,
  title = {AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness},
  author = {Prithwish Jana and Viet Bach Hoang and Logan Luna and Viresh Pati and Akash Singirikonda and Cy Xie and Lisa Carbone and Wuyang Chen and Walter Moreira and Joe Stubbs and Sriram Vishwanath and Vijay Ganesh},
  year = {2026},
  url = {https://arxiv.org/abs/2610.05367},
  note = {Source identifier: 2610.05367}
}