Nafi Colette Diallo

Neurosymbolic AI pairs the language understanding of LLMs with the mathematical rigor of automated reasoning, enabling agent decisions that are provably correct, not just statistically likely. In this hands-on workshop, you'll take real-world business rules (e.g.

State HHS agencies spend hundreds of millions maintaining eligibility rules engines built on Drools or proprietary tooling. These systems are brittle, expensive, and impossible to audit.

Discover how Automated Reasoning checks in Amazon Bedrock Guardrails enhance the trustworthiness of AI applications. In this workshop, we will showcase the synergy between automated reasoning and generative AI to create highly reliable systems, delivering up to 99% verification accuracy.

Learn how automated verification techniques are transforming outage management. This solution reduces response times by delivering accurate, real-time ETA updates for customer service tickets while validating AI-generated outage classifications to ensure reliability.