TY  - RPRT
TI  - Agentic Proof Automation: A Case Study
AU  - Yichen Xu
AU  - Martin Odersky
PY  - 2026
UR  - https://arxiv.org/abs/2601.03768
ID  - 2601.03768
ER  -