Overestimation learning with guarantees

26 January 2021

Papers citing "Overestimation learning with guarantees"

5 / 5 papers shown

Title
Hybrid Convolutional Neural Networks with Reliability Guarantee Hans Dermot Doran Suzana Veljanovska 29 2 0 08 May 2024
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 234 1,837 0 03 Feb 2017
Input Convex Neural Networks Brandon Amos Lei Xu J. Zico Kolter 187 599 0 22 Sep 2016
Bayesian Convolutional Neural Networks with Bernoulli Approximate Variational Inference Y. Gal Zoubin Ghahramani UQCV BDL 197 745 0 06 Jun 2015