TY  - RPRT
TI  - Maestro: Agentic Formal Proof Development by Coordination
AU  - Haoyu Li
AU  - Zeren Shui
AU  - Yuhao Zhang
AU  - Ferhat Erata
AU  - Benjamin Mikek
AU  - Murali Krishna Ramanathan
AU  - Hao Zhou
PY  - 2026
UR  - https://arxiv.org/abs/2610.25920
ID  - 2610.25920
ER  -