TY  - RPRT
TI  - Stellar Colosseum: A Many-Agent Harness for Long-Horizon Research in Mathematics and Theoretical Computer Science
AU  - Honghao Lin
AU  - David P. Woodruff
AU  - Yuan Deng
AU  - Jieming Mao
AU  - Song Zuo
AU  - Vahab Mirrokni
PY  - 2026
UR  - https://arxiv.org/abs/2609.15983
ID  - 2609.15983
ER  -