Verification tools and accelerating research

Jaeden highlights formal verification tools like Harmonic and how they speed checking and building on proofs.

Play episode from 11:18

Transcript

The AI-powered Podcast Player

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