Clark Barrett: When AI met AR

[Orpheus]

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