US EditionWaterloo Researchers Use Math to Verify AI Safety
University of Waterloo researchers developed AI tools that mathematically verify safety in critical systems like power grids, matching or exceeding traditional methods, Liu said.
- On October 21, 2025, University of Waterloo researchers published in Automatica a study on math-based verification of AI controllers, using DOI 112193, to address AI safety concerns.
- As AI moves into critical infrastructure, validation efforts often get short shrift due to a fast-deployment mindset, leaving safety gaps in power grids and autonomous vehicles.
- Liu's group trained neural networks to learn safety proofs, using Lyapunov functions to predict stability, while a logic-based reasoning system verifies these proofs rigorously.
- Tests show the framework matched or exceeded traditional methods, and Liu's team is developing an open-source toolbox while exploring industry collaborators within Waterloo's TRuST Scholarly Network and federal responsible-AI efforts.
- It may sound surprising that AI checks AI, but Dr. Jun Liu said, `To be clear, no one is attempting to create factories or systems run entirely by AI without any human input`, and these tools ensure safety guarantees for physical systems.
13 Articles
13 Articles
Eurek Alert
Who watches the AI watchman?
As artificial intelligence (AI) takes on increasingly critical roles — from managing power grids to piloting autonomous vehicles — making sure these systems are safe has never been more important. But how can we be certain that the AI controlling them can be trusted? A research team at the University of Waterloo …
Using math to ensure AI systems can operate safely
As artificial intelligence (AI) takes on increasingly critical roles—from managing power grids to piloting autonomous vehicles—making sure these systems are safe has never been more important. But how can we be certain that the AI controlling them can be trusted?
Who watches the AI watchman? - University of Waterloo researchers use mathematics and machine learning to ensure AI systems can operate safely
As artificial intelligence (AI) takes on increasingly critical roles from managing power grids to piloting autonomous vehicles making sure these systems are sa. . .
Coverage Details
Bias Distribution
- 100% of the sources are Center
Factuality
To view factuality data please Upgrade to Premium
