Verified proofs and tooling improvements

Jaeden discusses formal verification tools like Harmonic and how AI helps translate and check proofs precisely.

Play episode from 10:31

Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!