​Proving safety for narrow AI outputs

​Evan Miyazono, Founder of Atlas Computing

​User demand for new AI capabilities is growing even as risks from foreseeable AI capabilities become clearer. To navigate this, we are identifying domains where AI can provide better capabilities with quantitative guarantees against objective safety criteria. Evan presents progress at Atlas Computing, mapping a path to the use of language models to generate software, formal specifications, and proofs that the software satisfies the specification

​GS AI seminars

​​​​The monthly seminar series on Guaranteed Safe AI brings together researchers to advance the field of building AI with high-assurance quantitative safety guarantees.

• ​Follow the series

• ​​​​Apply to speak

• ​​Video recordings

• ​​Mailing list

• ​​Series info website

• ​Feedback

• ​Donate 🧡