Ziye Ma

1 catalog papers. Name-matched publications do not establish a verified researcher identity.

Publications

• Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification — Journal of Machine Learning Research 2025