FIELD NOTES TOPIC

mathematical reasoning agents

1 note, newest first.

  1. Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

    Source note ·

    The paper proposes a system called Danus that aims to help mathematical reasoning agents tackle complex, research-level problems by coordinating them effectively and managing their shared memory through a global fact…