The panel brings together researchers working on formal verification, practitioners deploying ML systems, and people building the standards infrastructure that sits underneath. The central question: which existing verification techniques transfer to AI systems, which ones break, and what new approaches do we actually need?

Panellists include members of the VerifyML team and researchers from the formal methods community.

Watch the recording (link coming soon)