1. Research
  2. Publications

Publications

Export 34 results:
Author [ Title(Desc)] Type Year
Filters: Author is Xiaodi Wu  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Q
J. Leng, Zheng, Y., and Wu, X., “A quantum-classical performance separation in nonconvex optimization”, 2023.
R
X. Wu, Yao, P., and Yuen, H., “Raz-McKenzie simulation with the inner product gadget”, Electronic Colloquium on Computational Complexity (ECCC), 2017.
S
T. Peng, Harrow, A., Ozols, M., and Wu, X., “Simulating large quantum circuits on a small quantum computer”, Phys. Rev. Lett., vol. 125, no. 150504, 2020.
Y. Peng, Young, J., Liu, P., and Wu, X., “SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation”, 2023.
T. Li, Wang, C., Chakrabarti, S., and Wu, X., “Sublinear classical and quantum algorithms for general matrix games”, To appear in the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2020.
T. Li, Chakrabarti, S., and Wu, X., “Sublinear quantum algorithms for training linear and kernel-based classifiers”, Proceedings of the 36th International Conference on Machine Learning (ICML 2019) PMLR , vol. 97, pp. 3815-3824, 2019.
V
L. Li, Voichick, F., Hietala, K., Peng, Y., Wu, X., and Hicks, M., “Verified Compilation of Quantum Oracles”, 2021.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., “Verified Optimization in a Quantum Intermediate Representation”, 2019.
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.