cd/entity/relu· home› entities› relu
grep -l @relu /news/*.json | wc -l → 1

relu

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

03:55
2026-09-22
srush.github.io
machine-learning

Lean Verified Transformers

A blog post titled "Lean Verified Transformers" presents a Lean formalization of foundational Transformer properties — including tensor parallelism, data parallelism, batch invariance, permutation inv…

// co-occurs with top 4 entities
Lean 1 srush/lean-transformer 1 JAX 1 Transformer 1
// topics top 5 topics
machine learning 1 ai research 1 neural networks 1 large language models 1 developer tools 1