Title here
Summary here
AI Verification
Making AI Systems Safe, with Mathematical Certainty
Making AI Systems Safe, with Mathematical Certainty
Building technology to formally certify that systems are safe, secure and trustworthy.
Combining principles from machine learning and automated reasoning.
Turning rigorous research into practical, high-impact software tools.