Obserwuj
Ziye Ma
Ziye Ma
Assistant Professor, CS, City University of Hong Kong
Zweryfikowany adres z cityu.edu.hk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Tightened convex relaxations for neural network robustness certification
BG Anderson, Z Ma, J Li, S Sojoudi
2020 59th IEEE Conference on Decision and Control (CDC), 2190-2197, 2020
412020
Certifiably globally optimal extrinsic calibration from per-sensor egomotion
M Giamou, Z Ma, V Peretroukhin, J Kelly
IEEE Robotics and Automation Letters 4 (2), 367-374, 2019
332019
A sequential framework towards an exact SDP verification of neural networks
Z Ma, S Sojoudi
2021 IEEE 8th International Conference on Data Science and Advanced …, 2021
23*2021
Sharp restricted isometry property bounds for low-rank matrix recovery problems with corrupted measurements
Z Ma, Y Bi, J Lavaei, S Sojoudi
Proceedings of the AAAI Conference on Artificial Intelligence 36 (7), 7672-7681, 2022
162022
Semidefinite programming versus burer-monteiro factorization for matrix sensing
B Yalçın, Z Ma, J Lavaei, S Sojoudi
Proceedings of the AAAI Conference on Artificial Intelligence 37 (9), 10702 …, 2023
122023
Over-parametrization via lifting for low-rank matrix sensing: Conversion of spurious solutions to strict saddle points
Z Ma, I Molybog, J Lavaei, S Sojoudi
International Conference on Machine Learning, 23373-23387, 2023
72023
Noisy low-rank matrix optimization: Geometry of local minima and convergence rate
Z Ma, S Sojoudi
International Conference on Artificial Intelligence and Statistics, 3125-3150, 2023
72023
Geometric Analysis of Noisy Low-Rank Matrix Recovery in the Exact Parametrized and the Overparametrized Regimes
Z Ma, Y Bi, J Lavaei, S Sojoudi
INFORMS Journal on Optimization, 2023
62023
Algorithmic regularization in tensor optimization: Towards a lifted approach in matrix sensing
Z Ma, J Lavaei, S Sojoudi
Advances in Neural Information Processing Systems 36, 39994-40005, 2023
52023
Partition-based convex relaxations for certifying the robustness of relu neural networks
BG Anderson, Z Ma, J Li, S Sojoudi
arXiv preprint arXiv:2101.09306, 2021
52021
Absence of spurious solutions far from ground truth: A low-rank analysis with high-order losses
Z Ma, Y Chen, J Lavaei, S Sojoudi
International Conference on Artificial Intelligence and Statistics, 1603-1611, 2024
32024
Towards optimal branching of linear and semidefinite relaxations for neural network robustness certification
BG Anderson, Z Ma, J Li, S Sojoudi
arXiv preprint arXiv:2101.09306, 2021
22021
Topology-Aware 3D Gaussian Splatting: Leveraging Persistent Homology for Optimized Structural Integrity
T Shen, S Liu, J Feng, Z Ma, N An
arXiv preprint arXiv:2412.16619, 2024
2024
Solving Matrix Sensing to Optimality under Realistic Settings
Z Ma
University of California, Berkeley, 2024
2024
Safety verification and robustness analysis of neural networks
B Anderson, J Li, Z Ma
2019
Supplementary Material for" Certifiably Globally Optimal Extrinsic Calibration from Per-Sensor Egomotion"
M Giamou, Z Ma, V Peretroukhin, J Kelly
2018
Solving Matrix Completion as Noisy Matrix Sensing
Z Ma
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–17