# Automated Reasoning to Prevent LLM Hallucination with Byron Cook - #712

Page: https://stenobird.com/podcast/twiml-ai-podcast/automated-reasoning-to-prevent-llm-hallucination-with-byron-cook-712
Text version: https://stenobird.com/podcast/twiml-ai-podcast/automated-reasoning-to-prevent-llm-hallucination-with-byron-cook-712.md
Podcast: [The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence)](https://stenobird.com/podcast/twiml-ai-podcast)
Published: 2024-12-09T20:18:32+00:00
Episode link: https://twimlai.com/podcast/twimlai/automated-reasoning-to-prevent-llm-hallucination/
Audio file: https://pscrb.fm/rss/p/traffic.megaphone.fm/MLN7157710802.mp3?updated=1733775633
Processing state: failed
JSON: https://stenobird.com/v1/public/podcasts/twiml-ai-podcast/episodes/automated-reasoning-to-prevent-llm-hallucination-with-byron-cook-712
Duration seconds: 3408

## Resource

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 reasoning, as well as some of the ways it is applied broadly, as well as across AWS, where it is used to enhance security, cryptography, virtualization, and more. We discuss how the new feature helps users to generate, refine, validate, and formalize policies, and how those policies can be deployed alongside LLM applications to ensure the accuracy of generated text. Finally, Byron also shares the benchmarks they’ve applied, the use of techniques like ‘constrained coding’ and ‘backtracking,’ and the future co-evolution of automated reasoning and generative AI. The complete show notes for this episode can be found at https://twimlai.com/go/712.

## Actions

- request_transcript: `POST https://stenobird.com/v1/public/podcasts/twiml-ai-podcast/episodes/automated-reasoning-to-prevent-llm-hallucination-with-byron-cook-712/transcription-requests` — Idempotently request low-priority transcript generation for this episode.
- read_markdown: `GET https://stenobird.com/podcast/twiml-ai-podcast/automated-reasoning-to-prevent-llm-hallucination-with-byron-cook-712.md` — Read the agent-friendly Markdown representation of this episode resource.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.