Roc DEFLATE library runs within single digits of C libdeflate
On the Silesia corpus, roc-deflate was a median 8.9% slower on Ryzen and 2.6% slower on an M1.
8
Product
Lean 4
- Mentions · 7d1
- Mentions · 30d2
- All mentions2
- First seenOct 15, 2026
- Last mentioned1d ago
Timeline
2 articles · newest firstLean Graph Search for Formal Theorem Proving
LeanGraphSearch retrieves supporting Lean lemmas via dependency graphs and lifts theorem-proving pass rates.
40
Appears with
- libdeflateproduct · 1
- roc-deflateproduct · 1
- Rocproduct · 1
- LeanSearch v2product · 1
- Mathlibproduct · 1
Entities are extracted by the model from each article. First seen , last mentioned . Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.