← back to paper

Review history

arxiv: 2605.13137 · 2 revisions

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving

1. 2026-05-15 CONDITIONAL LOW v0.9.0 novelty 7.0
   34656 ms 5625 in 1155 out 2026-05-15T02:59:50.734388+00:00
2. 2026-05-14 CONDITIONAL LOW v0.9.0 novelty 7.0
   22737 ms 5625 in 1365 out 2026-05-14T18:28:25.885912+00:00