@misc{indiciae6d25b44a3495,
  title = {The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification},
  author = {Michele Alberti and François Bobot and Julien Girard-Satabin and Alban Grastien and Aymeric Varasse and Zakaria Chihani},
  year = {2026},
  url = {https://arxiv.org/abs/2506.12084},
  note = {Source identifier: 2506.12084}
}