@article{
baba2026prover,
title={Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs},
author={Kaito Baba and Chaoran Liu and Shuhei Kurita and Akiyoshi Sannai},
journal={Transactions on Machine Learning Research},
issn={2835-8856},
year={2026},
url={https://openreview.net/forum?id=05islLXVt6},
note={}
}