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.