Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani. The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. In Ferruccio Damiani, Marie Farrell, editors, Integrated Formal Methods - 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings. Volume 16194 of Lecture Notes in Computer Science, pages 290-309, Springer, 2025. [doi]
Abstract is missing.