SyReNN: A Tool for Analyzing Deep Neural Networks

9 January 2021

Papers citing "SyReNN: A Tool for Analyzing Deep Neural Networks"

6 / 6 papers shown

Title
When to Trust AI: Advances and Challenges for Certification of Neural Networks M. Kwiatkowska Xiyue Zhang AAML 12 8 0 20 Sep 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version) Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 28 7 0 05 May 2023
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations S. Munakata Caterina Urban Haruki Yokoyama Koji Yamamoto Kazuki Munakata AAML 15 4 0 13 Jul 2022
Assessment of Neural Networks for Stream-Water-Temperature Prediction S. Mohr Konstantina Drainas J. Geist 17 3 0 08 Oct 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016