Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore how automated reasoning, grounded in symbolic AI and mathematical logic, serves as a critical tool for ensuring AI system correctness, reliability, and security in this 22-minute conference talk from the AWS Financial Services Symposium 2025. Discover real-world implementations at AWS that demonstrate how automated reasoning provides mathematical proof of program correctness and helps eliminate AI hallucinations. Learn about the integration of automated reasoning with modern AI approaches, practical applications in security verification, and tools like Automated Reasoning Checks that enable businesses to validate AI outputs. Gain insights into applying this technology to verify critical systems and ensure AI trustworthiness in enterprise environments, with specific focus on financial services applications.
