#747: Unpacking Automated Reasoning: From Mathematical Logic to Practical AI Security

38:02 | Nov 24th, 2025

Discover how AWS leverages automated reasoning to enhance AI safety, trustworthiness, and decision-making. Byron Cook (Vice President and Distinguished Scientist) explains the evolution of reasoning t...Show More