Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks

14 June 2024

Marta Kwiatkowska

Papers citing "Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks"

4 / 4 papers shown

Title
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Kwiatkowska Huan Zhang AAML 36 2 0 17 Aug 2024
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 81 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 281 5,835 0 08 Jul 2016