Sasha Rush
@srush_nlp
Researcher, Programmer
Joined December 2015
582 Following 84.8K Followers
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.
Show more
