Software Engineering Daily cover image

Scaling AI in Enterprise Codebases with Guy Gur-Ari

Software Engineering Daily

00:00

How Math Reasoning Differs from Code Execution

Guy contrasts formal verification in math with executable feedback loops in code that enable iterative model improvement.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app