Speaker: Clark Barrett (Stanford Center for Automated Reasoning) Talk: When AI met AR

Part of the Guaranteed Safe AI Seminars, a monthly online series on AI systems with quantitative safety guarantees.

Recording: https://youtu.be/AxASkEW8gYE

Readings: arXiv:2305.11087

YouTube playlist: https://www.youtube.com/playlist?list=PLOutnjp2BEJeQM2J49_KvdpuZlaQXPboy