ENTITY
LeanSearch v2
LeanSearch v2
PulseAugur coverage of LeanSearch v2 — every cluster mentioning LeanSearch v2 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
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
LeanGraphSearch enhances formal theorem proving with graph-based lemma retrieval
Researchers have developed LeanGraphSearch, a novel graph-based retrieval method designed to enhance formal theorem proving in the Lean 4 programming language. This system constructs a dependency graph of mathematical d…
-
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…