most citedFully Automatic Neural Network Reduction for Formal Verification

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LG2023★ 3 cited

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…