TY  - RPRT
TI  - Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs
AU  - Kaito Baba
AU  - Chaoran Liu
AU  - Shuhei Kurita
AU  - Akiyoshi Sannai
PY  - 2026
UR  - https://arxiv.org/abs/2506.19923
ID  - 2506.19923
ER  -