Zhang, Yani

1 publications

ICLR 2026 Expressiveness of Multi-Neuron Convex Relaxations in Neural Network Certification Yuhao Mao, Yani Zhang, Martin Vechev