When AI met AR – Clark Barrett

​When AI met AR
Clark Barrett – Director, Stanford Center for Automated Reasoning and co-director, Stanford Center for AI Safety

​Artificial Intelligence (AI) and Automated Reasoning (AR) are two fields that have made great strides in recent years. In this talk, we will explore how they can be used together to help address AI Safety.

​Recommended readings:

• ​Lightweight Online Learning for Sets of Related Problems in Automated Reasoning https://arxiv.org/abs/2305.11087

• ​Clover: Closed-Loop Verifiable Code Generation https://theory.stanford.edu/~barrett/pubs/SSP+24.pdf

​​​Guaranteed Safe 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 🧡