CheckINN: Wide Range Neural Network Verification in Imandra (Extended)

21 July 2022

Papers citing "CheckINN: Wide Range Neural Network Verification in Imandra (Extended)"

5 / 5 papers shown

Title
A Certified Proof Checker for Deep Neural Network Verification Remi Desmartin Omri Isac Ekaterina Komendantskaya Kathrin Stark Grant Passmore Guy Katz 26 3 0 17 May 2024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs M. Daggitt Wen Kokke R. Atkey Natalia Slusarz Luca Arnaboldi Ekaterina Komendantskaya NAI 31 10 0 12 Jan 2024
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 32 34 0 06 Mar 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016