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.
顯示更多
