Formal and Practical Elements for the Certification of Machine Learning Systems

5 October 2023

Arthur Dubois

Papers citing "Formal and Practical Elements for the Certification of Machine Learning Systems"

2 / 2 papers shown

Title
Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems Robert J. Moss Mykel J. Kochenderfer Maxime Gariel Arthur Dubois 25 3 0 03 May 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,818 0 03 Feb 2017