Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Danus, an orchestration system for research-level mathematical reasoning centered on a shared fact graph as a global memory-management mechanism, is proposed, suggesting that fact-graph-based orchestration provides an effective route toward scaling mathematical reasoning agents for long-horizon research problems.