Ido Shmuel, Guy Katz. Neural Network Verification Using Partial Multi-Neuron Relaxation. In Guy Avni, Christian Schilling 0001, editors, AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings. Volume 16831 of Lecture Notes in Computer Science, pages 122-144, Springer, 2026. [doi]
Abstract is missing.