AINeutralarXiv – CS AI · 14h ago6/10
🧠
Neural Network Verification using Partial Multi-Neuron Relaxation
Researchers present a novel neural network verification method called partial multi-neuron relaxation that selectively applies computationally expensive multi-neuron bounds to strategically chosen neurons rather than all neurons. This approach balances the tightness-scalability tradeoff in formal verification, showing improved performance when integrated into the Marabou verifier.