Formally Speaking

Formally Speaking is our seminar series for researchers working at the seam between formal methods and AI. Every talk from the series in one place — recordings are published as they're ready.