LeanSearch v2

Search everything

Mentions · 7d0
Mentions · 30d1
All mentions1
First seenOct 15, 2026
Last mentioned10d ago

Timeline

1 articles · newest first

Lean Graph Search for Formal Theorem Proving

LeanGraphSearch retrieves supporting Lean lemmas via dependency graphs and lifts theorem-proving pass rates.

arXiv cs.AI / cs.LG / cs.CLOct 15, 17:55 UTC · 10d agoAI research1 · 1 read

Appears with

Mathlibproduct · 1
Lean 4product · 1

Entities are extracted by the model from each article. First seen Oct 15, 2026, last mentioned 10d ago. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.