@misc{indiciae654bedaf772a,
  title = {Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science},
  author = {Honghao Lin and David P. Woodruff and Yuan Deng and Jieming Mao and Song Zuo and Vahab Mirrokni},
  year = {2026},
  url = {https://arxiv.org/abs/2609.15983},
  note = {Source identifier: 2609.15983}
}