Fully Automatic Neural Network Reduction for Formal Verification

Tobias Ladner, Matthias Althoff

Formal verification of neural networks is essential before their deployment in safety-critical applications. However, existing methods for formally verifying neural networks are no…