Speaker: Evan Miyazono (Atlas Computing) Talk: Proving safety for narrow AI outputs
Part of the Guaranteed Safe AI Seminars, a monthly online series on AI systems with quantitative safety guarantees.
Recording: https://youtu.be/RPiLCy31d1E
YouTube playlist: https://www.youtube.com/playlist?list=PLOutnjp2BEJeQM2J49_KvdpuZlaQXPboy
Posted on: 23rd Feb 2026
Speaker: Evan Miyazono (Atlas Computing) Talk: Proving safety for narrow AI outputs
Part of the Guaranteed Safe AI Seminars, a monthly online series on AI systems with quantitative safety guarantees.
Recording: https://youtu.be/RPiLCy31d1E
YouTube playlist: https://www.youtube.com/playlist?list=PLOutnjp2BEJeQM2J49_KvdpuZlaQXPboy
Posted on: