TY  - RPRT
TI  - Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification
AU  - Yuhao Mao
AU  - Yani Zhang
AU  - Martin Vechev
PY  - 2026
UR  - https://arxiv.org/abs/2410.06816
ID  - 2410.06816
ER  -