Lean Verified Transformers | Hacker News - But Better

Lean Verified Transformers srush.github.io

Rational vectors, sequence models, and verified parallelism in Lean.

4 points•matt_d•9 days ago•0 comments•

#lean #verified #transformers #verified transformers #lean verified #lean verified transformers #vectors #rational

0 comments

No comments yet.

Related stories

Zeta(5) has been proven irrational (also Lean-verified)reddit.com
Hacker News · 2 points · 5 days ago
FloatLib: Verified Floating-Point Arithmetic in Leanleandojo.org
Hacker News · 1 points · 9 days ago
Lean Golf – Code golf but you're proving theorems in Leanlean.golf
Hacker News · 1 points · 5 days ago
Stanford CME295 Transformers n LLMs – Autumn 2026 – Lecture 1 – Transformers [video]youtube.com
Hacker News · 1 points · 2 days ago
Testing AIs on 68 of the hardest open Erdos problems, verified in Leanarxiv.org
Hacker News · 3 points · 8 days ago
Complete Production Webapp in Leangithub.com
Hacker News · 1 points · 10 days ago