collaborators

1 paper

cs.LG2026

The Luna Bound Propagator for Formal Analysis of Neural Networks

Henry LeCates, Haoze Wu

The parameterized CROWN analysis, a.k.a., alpha-CROWN has emerged as a practically successful abstract interpretation method for neural network verification. However, existing impl…