Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Neural Network Verification using Partial Multi-Neuron Relaxation
Ido Shmuel, Guy Katz
The increasing integration of deep neural networks in critical systems has spawned a theoretical and practical interest in formally guaranteeing safety properties about their behav…
cs.LO2026
Incremental Neural Network Verification via Learned Conflicts
Raya Elsaleh, Liam Davis, Haoze Wu +1
Neural network verification is often used as a core component within larger analysis procedures, which generate sequences of closely related verification queries over the same netw…