PV1 PROVER: Polyhedral Robustness Verifier of RNNsruns 100 tests through a neural network, testing its noise robustness

Verifier for recurrent neural networks (RNNs).

Application domain/field

Internals

The goal of PROVER is to establish the robustness of recurrent neural networks against noise-induced perturbations. They specifically focus on Long Short-Term Memory (LSTMs). Uses Gurobi
Neural network

Links

Repository: https://github.com/eth-sri/prover

Last commit date

29 June 2021

Related papers

https://doi.org/10.1007/978-3-030-81685-8_10 (CAV '21)

Last publication date

15 July 2021

Related tools

POPQORN

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.