SAE regularization produces more interpretable models — LessWrong