BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations
IEEE TCAD 2024
This paper explores methods to perform efficient bounds-propagation on neural networks.
Formal Verification
This paper explores methods to perform efficient bounds-propagation on neural networks.