Skip to content
When you keep AI Lean, you keep AI correct episode artwork

Aug 28, 2026 25 min

When you keep AI Lean, you keep AI correct

from The Stack Overflow Podcast

Ryan chats with Leo de Moura, Senior Principal Applied Scientist at AWS and the creator of the Lean language, about proving correctness in AI agents with the Lean language, how automated reasoning complements probabilistic AI models, and the use of AI for continuous code optimization. Episode notes: Lean is a functional programming language and proof assistant that allows developers to write programs and verify their mathematical correctness within the exact same system. Connect with Leo on LinkedIn and check out his many badges on Stack Overflow. Congrats to Populist badge winner Peter Lawrey for winning the badge on their answer to Check two float/double values for exact equality.

Episode details come from the podcast's RSS feed.

Embed this episode

Ready to play

When you keep AI Lean, you keep AI correct

0:00 25:22

No transcript yet.

Requests help us decide what to transcribe next.

Share this episode

Similar podcasts

French Your Way Jessica: Native French teacher founder of French Your Way Boost your French listening skills and test your comprehension with this one of a kind series of podcasts. Get the chance to listen to a real conversation between native speakers talking at normal speed AND customise your learning experience through carefully designed sets of questions (2 levels of difficulty) available for download at www.frenchvoicespodcast.com. All interviews also come with the transcript. French teacher Jessica interviews native speakers of French from around the world who share a bit of their life and passion. Where else would you meet in one same place a French yoga teacher based in Melbourne, a soap manufacturer from Provence, or a couple cycling around the world?

Frequently asked questions

How long is this episode of The Stack Overflow Podcast?

This episode is 25 minutes long.

When was this The Stack Overflow Podcast episode published?

This episode was published on August 28, 2026.

Can I download this The Stack Overflow Podcast episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.