[HUGGINGFACE]score: 0.48TheoremGraph: A Unified Dependency Graph for Formal and Informal MathJune 23, 2026TheoremGraph bridges mathematical knowledge by creating a statement-level dependency graph spanning 11.7M arXiv theorem-like environments and 388,105 Lean 4 declaration nodes. It connects informal mathematical papers with formal library dependencies.HOW THIS AFFECTS YOU●researcherYou can navigate the connections between high-level mathematical concepts and formal code implementations.read original ↗huggingface.co← back to feed