Danus uses a main planner, parallel workers, and a shared verified fact graph to construct long research-level mathematical proofs across six case studies.
A Criteria of Weighted Homogeneity via Logarithmic Vector Fields
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Recently in [6] the authors proposed a conjecture that the homogeneity of an isolated hypersurface germ can be detected by the existence of non-degenerate holomorphic logarithmic vector fields. In this paper we prove this conjecture affirmatively.
fields
cs.AI 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Danus uses a main planner, parallel workers, and a shared verified fact graph to construct long research-level mathematical proofs across six case studies.