Sasha Rush
@srush_nlp
Researcher, Programmer
参加 December 2015
582 フォロー中 84.8K ファン
Lean Verified Transformers (
In which we prove a bunch of Transformer invariants from scratch in Lean, and speculate about how hard it would be to do that for the rest of the world's code.
もっと見る
