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.
더 보기
