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