@misc{indiciae8e3c31e69bd8,
  title = {Maestro: Agentic Formal Proof Development by Coordination},
  author = {Haoyu Li and Zeren Shui and Yuhao Zhang and Ferhat Erata and Benjamin Mikek and Murali Krishna Ramanathan and Hao Zhou},
  year = {2026},
  url = {https://arxiv.org/abs/2610.25920},
  note = {Source identifier: 2610.25920}
}