Verification Algorithms

AI Safety Fact vs. Fiction | YC Paper Club

Y Combinator

Michael Kochenderfer's new book, available for pre-order, which comprehensively explains how to verify systems that use machine learning and other AI systems.