UCLA Moonshot Math Harness
Research Assistant · Prof. Kai-Wei Chang, Nanyun Peng, and Terence Tao
Built a long-horizon multi-agent reasoning harness that has solved multiple open mathematical problems, orchestrating specialized explorer, verifier, and consultant agents with a rich library of skills and MCP tools. The harness statically enforces each role's capabilities.
Designed persistent graph-based memory to preserve intermediate results and competing proof directions across long-running executions. Self-evolving memory curation and iterative planning prioritize high-value branches and adapt the problem-solving strategy; co-first-author paper in submission to ICLR 2027.