Improved Geometric Path Enumeration for Verifying ReLU Neural Networks-Reference-Cited by-同舟云学术

Improved Geometric Path Enumeration for Verifying ReLU Neural Networks

Published:2020 Issue: Volume: Page:66-96
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Bak Stanley,Tran Hoang-Dung,Hobbs Kerianne,Johnson Taylor T.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53288-8_4

Reference30 articles.

1. Althoff, M., et al.: ARCH-COMP19 category report: continuous and hybrid systems with linear continuous dynamics. In: ARCH 2019, 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, pp. 14–40 (2019)

2. Barrett, C., Stump, A., Tinelli, C., et al.: The SMT-LIB standard: version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, England), vol. 13, p. 14 (2010)

3. Lecture Notes in Computer Science;D Beyer,2012

4. Lecture Notes in Computer Science;PS Duggirala,2016

5. Lecture Notes in Computer Science;S Dutta,2018

Cited by 58 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient verification of neural networks based on neuron branching and LP abstraction;Neurocomputing;2024-09

2. NeVer2: learning and verification of neural networks;Soft Computing;2024-07-31

3. Harnessing Neuron Stability to Improve DNN Verification;Proceedings of the ACM on Software Engineering;2024-07-12

4. Input-Relational Verification of Deep Neural Networks;Proceedings of the ACM on Programming Languages;2024-06-20

5. The hexatope and octatope abstract domains for neural network verification;Formal Methods in System Design;2024-06-17