Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
In this 58-minute Oxford Seminar from March 13, 2025, Associate Professor Mirco Giacobbe from the University of Birmingham explores how machine learning can enhance model checking for system verification. Learn about "neural certificates," an innovative approach that combines neural networks with symbolic reasoning to verify system correctness. Discover how this unsupervised, formally sound methodology trains certificates from synthetic system executions and validates them through symbolic techniques. The seminar demonstrates practical applications in safety assurance for software, probabilistic systems, and control. Giacobbe, who previously held positions at the University of Oxford and Fondazione Bruno Kessler, bridges formal methods and artificial intelligence to develop techniques ensuring algorithmic systems remain safe and trustworthy.
