Podcasts · The Stack Overflow Podcast
When you keep AI Lean, you keep AI correct
· 25 min · Episode 983
Episode When you keep AI Lean, you keep AI correct
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.
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.
Links in the notes 9
- https://lean-lang.org/
- https://www.linkedin.com/in/leonardo-de-moura-26a27b5/
- https://stackoverflow.com/users/841416/leonardo-de-moura
- https://stackoverflow.com/
- https://stackoverflow.com/users/57695/peter-lawrey
- https://stackoverflow.com/questions
- https://stackoverflow.com/questions/15572700/check-two-float-double-values-for-exact-equality
- https://art19.com/privacy
- https://art19.com/privacy#do-not-sell-my-info
Shows are listed from Apple Podcasts' charts and directory, and Podcast Index where it is used. Every show and episode belongs to its publisher and plays from the publisher's own feed; this site hosts none of them. Explicit shows are for adult profiles only, and children’s profiles hear only children’s shows. More about this list.