Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

27 May 2024

Papers citing "Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization"

3 / 3 papers shown

Title
A comprehensive review of Binary Neural Network Chunyu Yuan S. Agaian MQ 37 94 0 11 Oct 2021
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 27 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 222 1,832 0 03 Feb 2017