TY  - RPRT
TI  - The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
AU  - Michele Alberti
AU  - François Bobot
AU  - Julien Girard-Satabin
AU  - Alban Grastien
AU  - Aymeric Varasse
AU  - Zakaria Chihani
PY  - 2026
UR  - https://arxiv.org/abs/2506.12084
ID  - 2506.12084
ER  -