"The Machine Intelligence Research Institute (MIRI) focuses on foundational mathematical research to understand reliable reasoning. MIRI does work on agent foundations, with a focus on high reliability, and on error tolerance in machine learning systems." is created as an Alternate Phrasing https://docs.google.com/document/d/1V5NnsOrTYARdzRWgP9Any5oOYEbJhQI7mGNQ0NOiyU8/
"The Machine Intelligence Research Institute (MIRI) focuses on foundational mathematical research to understand reliable reasoning. MIRI does work on agent foundations, with a focus on high reliability, and on error tolerance in machine learning systems." is created as an Alternate Phrasing https://docs.google.com/document/d/1V5NnsOrTYARdzRWgP9Any5oOYEbJhQI7mGNQ0NOiyU8/