Euler: Towards Human-Centered Multi-Agent Mathematical Discovery
This work presents Euler, a human-centered mathematical research system built around a shared, structured representation of the research process that allows researchers to trace how results are developed and supplies agents with persistent, task-relevant knowledge for planning, collaboration, and verification across se...
Qiu-Yu Chen, Qi Wang, Liang Xu et al.
· 0 citations