Expressivity of ReLU-Networks under Convex Relaxations - Baader, Maximilian; Müller, Mark N; Mao, Yuhao; Vechev, Martin (International Conference on Learning Representations, 2024)