UCLA Moonshot Math Harness
Research Assistant · Prof. Kai-Wei Chang, Nanyun Peng, and Terence Tao
Built a long-horizon multi-agent reasoning harness for autonomous mathematical research, orchestrating specialized agents with statically enforced tools and capabilities. Designed persistent graph-based memory and iterative planning to preserve competing proof directions and prioritize high-value branches.