FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks

17 June 2024

Marta Kwiatkowska

Papers citing "FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks"

2 / 2 papers shown

Title
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 108 138 0 29 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017