Zhikuan Zhao

Quantum-assisted Gaussian process regression

2019 · Physical Review A

Gaussian processes (GPs) are a widely used model for regression problems in supervised machine learning. Implementation of GP regression typically requires $O({n}^{3})$ logic gates. We show that the quantum linear systems algorithm [Harrow et al., …

Improving Certified Robustness via Statistical Learning with Logical Reasoning

2020 · arXiv (Cornell University)

Intensive algorithmic efforts have been made to enable the rapid improvements of certificated robustness for complex ML models recently. However, current robustness certification methods are only able to certify under a limited perturbation radius. Given …