Probably Proven

Formal verification gives you a mathematical yes or no. A large language model gives you its best guess. What happens when the LLM writes the properties and drives the proof?
Prof. Ziyad Hanna, Corporate Vice President of R&D and Strategic Head of AI at Cadence Design Systems, returns to Wearing Flip-Flops with host Ronen Laviv. Ziyad worked on formal verification at Intel and led R&D for the Jasper formal verification platform, so this one goes deep on the discipline he grew up in.
In this episode:
- When formal verification moved from research into everyday engineering
- LLMs in front of…