repoGitHubTrust 82 · PrimaryPublished 1mo agoLive · 4d ago
frenzymath/Danus
Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- PossiblePossibly related (embedding) · 82%Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory →
- PossiblePossibly related (embedding) · 57%Grounding LLM Reasoning under Incomplete Graph Evidence →
- PossiblePossibly related (embedding) · 54%Nested Episodic State Topology (NEST): A Graph-Theoretic Architecture of Cognitive States →
- PossiblePossibly related (embedding) · 54%PluraMath: Extending Mathematical Reasoning Evaluation Beyond High-Resource Languages →
- PossiblePossibly related (embedding) · 51%MRMS: A Multi-Resolution Memory Substrate for Long-Lived AI Agents →
- PossiblePossibly related (embedding) · 56%AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification →
Implements
paperDanus: Orchestrating Mathematical Reasoning Agents with Fact-Graph MemorypaperGrounding LLM Reasoning under Incomplete Graph EvidencepaperNested Episodic State Topology (NEST): A Graph-Theoretic Architecture of Cognitive StatespaperPluraMath: Extending Mathematical Reasoning Evaluation Beyond High-Resource LanguagespaperMRMS: A Multi-Resolution Memory Substrate for Long-Lived AI Agents
Implements (incoming)
Related across the graph
paperDanus: Orchestrating Mathematical Reasoning Agents with Fact-Graph MemorypaperMRMS: A Multi-Resolution Memory Substrate for Long-Lived AI AgentspaperGrounding LLM Reasoning under Incomplete Graph EvidencepaperNested Episodic State Topology (NEST): A Graph-Theoretic Architecture of Cognitive StatespaperPluraMath: Extending Mathematical Reasoning Evaluation Beyond High-Resource LanguagespaperAdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification