works on
algebraic geometry 1deligne-mumford stacks 1positivity theorems 1stack theory 1torsion-free hypothesis 1

From the 1 of 24 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory

Jihao Liu, Guoxiong Gao, Zeming Sun +8

Recent LLM-based mathematical reasoning agents have begun to tackle research-level problems and, in several cases, have contributed to the resolution of open problems. However, sca…