Teaser: Hard-coding Transformer Models — LessWrong