Lean Verified Transformers

(srush.github.io)

4 points | by matt_d 10 hours ago ago