Sample-Specific Output Constraints for Neural Networks

23 March 2020

Papers citing "Sample-Specific Output Constraints for Neural Networks"

3 / 3 papers shown

Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 219 1,818 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 172 883 0 21 Oct 2016
Dropout as a Bayesian Approximation: Representing Model Uncertainty in Deep Learning Y. Gal Zoubin Ghahramani UQCV BDL 245 9,042 0 06 Jun 2015