CAISAR: A Platform for Machine Learning Specification and Verification

Read full text
Authors: Michele Alberti, François Bobot, Julien Girard-Satabin, Alban Grastien, Zakaria Chihani
Cited by: 1

Fields of Study & Subjects

Adversarial Robustness in Machine Learning Machine Learning and Data Classification Explainable Artificial Intelligence (XAI)

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Language
EN
Document type
Preprint