x
[Montreal] Towards High-Assurance Advanced AI Systems by Richard Mallah — LessWrong