SyReNN: a tool for analyzing deep neural networks

DOI10.1007/978-3-030-72013-1_15zbMath1474.68304arXiv2101.03263OpenAlexW3145532460MaRDI QIDQ2233513

Matthew Sotoudeh, Aditya V. Thakur

Publication date: 18 October 2021

Full work available at URL: https://arxiv.org/abs/2101.03263

zbMATH Keywords

symbolic representationdeep neural networksintegrated gradients

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07)

Related Items (1)

SyReNN

Uses Software

• Apron
• Eigen
• Keras
• DeepFool
• PyTorch
• ImageNet
• BERT
• ONNX
• Reluplex
• ERAN
• DL2
• AI2
• gRPC
• Shiftry
• FastGRNN

Cites Work

• Unnamed Item
• Tools and algorithms for the construction and analysis of systems. 22nd international conference, TACAS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings
• Safety verification of deep neural networks
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

This page was built for publication: SyReNN: a tool for analyzing deep neural networks