most citedScalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes

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

collaborators

1 paper

cs.LG2025★ 3 cited

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes

Duo Zhou, Christopher Brix, Grani A Hanasusanto +1

Recently, cutting-plane methods such as GCP-CROWN have been explored to enhance neural network verifiers and made significant advances. However, GCP-CROWN currently relies on gener…