The Data Exchange with Ben Lorica podcast

When AI Writes the Code, Who Proves It Works?

0:00
46:12
Manda indietro di 15 secondi
Manda avanti di 15 secondi

Ben Lorica speaks with Leo de Moura, creator of Lean, VP and Distinguished Scientist at AWS, and Chief Architect of the Lean Focused Research Organization, about how AI is making formal verification more accessible and potentially transforming software engineering.

Subscribe to the Gradient Flow Newsletter 📩  https://gradientflow.substack.com/

Subscribe: Apple · Spotify · Overcast · Pocket Casts · AntennaPod · Podcast Addict · Amazon ·  RSS.

Detailed show notes and transcript, can be found on The Data Exchange web site.

Altri episodi di "The Data Exchange with Ben Lorica"