
372: Automated Reasoning for Agentic Governance (With Jean-Baptiste Tristan of AWS)
In this episode, Dave speaks with Jean-Baptiste Tristan, senior principal scientist at AWS, about how automated reasoning can help verify software correctness and enforce governance guardrails for autonomous AI agents. Jean-Baptiste described automated reasoning as computer science and mathematical logic implemented through algorithms and software. Unlike data-driven AI that generalizes through induction or transduction, it makes inferences through deduction using axioms and rules. Automated provers can attempt to prove a formal specification or find counterexamples; interactive theorem provers mechanize reasoning. A sorting algorithm, for example, can be specified to preserve list values and order them correctly, then checked against that specification.












