@misc{indiciae17b6a35d4023,
  title = {Choir: An Open Protocol for Distributed Multi-Agent Autoformalization},
  author = {Yidi Qi and Melanie Weber},
  year = {2026},
  url = {https://arxiv.org/abs/2609.31903},
  note = {Source identifier: 2609.31903}
}