Xiaodi Wu

Leng, J. ., Zheng, Y. ., & Wu, X. . (2023). A quantum-classical performance separation in nonconvex optimization. ArXiv. Retrieved from https://arxiv.org/abs/2311.00811 (Original work published November 2023)

Barbosa, M. ., Barthe, G. ., Doczkal, C. ., Don, J. ., Fehr, S. ., Grégoire, B. ., … Wu, X. . (2023). Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. Cryptology EPrint Archive. Retrieved from https://eprint.iacr.org/2023/246 (Original work published February 2023)

Li, L. ., Zhu, M. ., Cleaveland, R. ., Lee, Y. ., Chang, L. ., & Wu, X. . (2023). Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published July 2023)

Chakrabarti, S. ., Childs, A. M., Hung, S.-H. ., Li, T. ., Wang, C. ., & Wu, X. . (2023). Quantum Algorithm for Estimating Volumes of Convex Bodies. ACM Transactions on Quantum Computing, 4, 1–60. http://doi.org/10.1145/3588579 (Original work published May 2023)

You, X. ., Chakrabarti, S. ., Chen, B. ., & Wu, X. . (2023). Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels. ArXiv. Retrieved from https://arxiv.org/abs/2303.14844 (Original work published March 2023)

Peng, Y. ., Young, J. ., Liu, P. ., & Wu, X. . (2023). SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation. Proceedings of the ACM on Programming Languages, 8. http://doi.org/10.1145/3632923 (Original work published January 2024)

Leng, J. ., Hickman, E. ., Li, J. ., & Wu, X. . (2023). Quantum Hamiltonian Descent. ArXiv. Retrieved from https://arxiv.org/abs/2303.01471 (Original work published March 2023)

Li, L. ., Zhu, M. ., Lee, Y. ., Chang, L. ., & Wu, X. . (2022). Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification. ArXiv. Retrieved from https://arxiv.org/abs/2211.06411 (Original work published November 2022)

Fang, W. ., Ying, M. ., & Wu, X. . (2022). Differentiable Quantum Programming with Unbounded Loops. ArXiv. Retrieved from https://arxiv.org/abs/2211.04507 (Original work published November 2022)

You, X. ., Chakrabarti, S. ., & Wu, X. . (2022). A Convergence Theory for Over-parameterized Variational Quantum Eigensolvers. ArXiv. Retrieved from https://arxiv.org/abs/2205.12481 (Original work published May 2022)