Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification.

Xiaoyong Xue, Meng Sun

Browse the full ICECCS paper archive.