Ido Shmuel
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1AI×1
Frequent co-authors
Guy Katz1×
Research Timeline
2026
Neural Network Verification using Partial Multi-Neuron Relaxation
The paper introduces partial multi-neuron relaxation, a novel verification technique that selectively computes tight linear bounds for a small subset of neurons to improve the efficiency and tightness of neural network safety verification.
Highlighted terms show continued research focus across papers