Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification - Mao, Yuhao; Zhang, Yani; Vechev, Martin (International Conference on Learning Representations, 2026)