Neural Network Verification using Partial Multi-Neuron Relaxation. - Ido Shmuel; Guy Katz (CoRR, 2026)