High-Throughput Lean 4 Autoformalization Model for Local Inference
By matteohorvath · 2026-08-22 · 2 points · 0 comments
https://meshapplied.com/posts/lean4-autoformalization
By matteohorvath · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews