Episode
Automated Reasoning to Prevent LLM Hallucination with Byron Cook - #712
The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) · Dec 9, 2024 · 57 min
Today, we're joined by Byron Cook, VP and distinguished scientist in the Automated Reasoning Group at AWS to dig into the underlying technology behind the newly announced Automated Reasoning Checks feature of Amazon Bedrock Guardrails. Automated Reasoning Checks uses mathematical proofs to help LLM users safeguard against hallucinations. We explore recent advancements in the field of automated…