{"type": "article", "title": "Lean Verified Transformers", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/lean-verified-transformers", "original_source": "https://srush.github.io/lean-transformer/", "published": "2026-09-22T03:55:18+00:00", "accessed": "2026-09-22", "id": "lean-verified-transformers"}