K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M.
, “A Verified Optimizer for Quantum Circuits”
, Proceedings of the ACM on Programming Languages
, vol. 5, no. POPL, 2021.
X. You and Wu, X.
, “Exponentially Many Local Minima in Quantum Neural Networks”
, Proceedings of the 38th International Conference on Machine Learning, PMLR
, vol. 139, pp. 12144-12155, 2021.