24 citations · 28 across the 9 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.OC2021★ 1 cited
Sharp Restricted Isometry Property Bounds for Low-rank Matrix Recovery Problems with Corrupted Measurements
Ziye Ma, Yingjie Bi, Javad Lavaei +1
In this paper, we study a general low-rank matrix recovery problem with linear measurements corrupted by some noise. The objective is to understand under what conditions on the res…
cs.LG2021★ 1 cited
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification
Brendon G. Anderson, Ziye Ma, Jingqi Li +1
In this paper, we study certifying the robustness of ReLU neural networks against adversarial input perturbations. To diminish the relaxation error suffered by the popular linear p…