ENTITY
Lean Finder V2
Lean Finder V2
PulseAugur coverage of Lean Finder V2 — every cluster mentioning Lean Finder V2 across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
2 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
Lean Finder V2 enhances semantic search for Mathlib
Lean Finder V2 is a new semantic search tool designed to improve query disambiguation for the Mathlib mathematical library. It features an "Arena mode" where users can compare Lean Finder side-by-side with other models,…
-
Lean Finder V2 advances Mathlib search; Anthropic SDK updates released
Researchers have developed Lean Finder V2, an advanced semantic search framework for Mathlib that significantly improves query disambiguation through adversarial training and query rewriting. This new system achieves an…