CAISAR demo at the Lab for AI Verification (LAIV) at Edinburgh

Last week, we presented CAISAR at the workshop on Safe and Robust Machine Learning.

Among the workshop organizers were member of the Lab for AI Verification. The LAIV and CAISAR teams have close research interests, and it was a pleasure to discuss with the diverse panel of participants on the topic of verification of machine learning.

The discussions provided enlightening insights on the needs in both the industry and research.