The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification.

Michele Alberti, Franois Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani

Browse the full IFM paper archive.