Verifying Neural Networks with PyRAT
No abstract available.
Related papers
- Exploiting Verified Neural Networks via Floating Point Numerical Error SAS 2021
- The Rocq-NN-Roll Prover: Soundly Verifying Hyperproperties of Neural Networks in Rocq CAV 2026
- Verifying Neural Networks Against Backdoor Attacks CAV 2022
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks CAV 2017
- An SMT-Based Approach for Verifying Binarized Neural Networks TACAS 2021
- Verifying Global Two-Safety Properties in Neural Networks with Confidence CAV 2024
- Verifying Low-Dimensional Input Neural Networks via Input Quantization SAS 2021
- Faster Verified Explanations for Neural Networks ECOOP 2026