Speaker: Theodore Ehrenborg (Beneficial AI Foundation / PIBBSS) Talk: Benchmarks for AI-assisted Formal Verification
Part of the Guaranteed Safe AI Seminars, a monthly online series on AI systems with quantitative safety guarantees.
YouTube playlist: https://www.youtube.com/playlist?list=PLOutnjp2BEJeQM2J49_KvdpuZlaQXPboy
Theodore Ehrenborg: Benchmarks for AI-assisted Formal Verification
Speaker: Theodore Ehrenborg (Beneficial AI Foundation / PIBBSS) Talk: Benchmarks for AI-assisted Formal Verification
Part of the Guaranteed Safe AI Seminars, a monthly online series on AI systems with quantitative safety guarantees.
YouTube playlist: https://www.youtube.com/playlist?list=PLOutnjp2BEJeQM2J49_KvdpuZlaQXPboy