ENTITY
TheoremGraph
TheoremGraph
PulseAugur coverage of TheoremGraph — every cluster mentioning TheoremGraph across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
TheoremGraph unifies formal and informal mathematics with AI
Researchers have developed TheoremGraph, a novel system designed to unify formal and informal mathematical knowledge by creating a statement-level dependency graph. This system parses millions of theorem-like environmen…
-
TheoremGraph links formal and informal math via dependency graph
Researchers have developed TheoremGraph, a unified dependency graph that connects informal and formal mathematics. This system extracts and links mathematical statements from arXiv papers and Lean projects, creating a c…