FIELD NOTES TOPIC
research-level mathematical reasoning
1 note, newest first.
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
The paper introduces Danus, a system designed to effectively coordinate and scale mathematical reasoning agents by using a shared fact graph as a global memory-management mechanism. The system consists of a main agent…
