1. Research
  2. Publications

Publications

Export 33 results:
Author Title Type [ Year(Desc)]
Filters: Author is Xiaodi Wu  [Clear All Filters]
2023
X. You, Chakrabarti, S., Chen, B., and Wu, X., “Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels”, 2023.
Y. Peng, Young, J., Liu, P., and Wu, X., “SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation”, 2023.
S. Chakrabarti, Childs, A. M., Hung, S. - H., Li, T., Wang, C., and Wu, X., “Quantum algorithm for estimating volumes of convex bodies”, ACM Transactions on Quantum Computing, vol. 4, 2023.
L. Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X., “Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic”, 2023.
2024
J. Leng, Li, J., Peng, Y., and Wu, X., “Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding”, 2024.
L. Li, Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., and Wu, X., “Qafny: A Quantum-Program Verifier”, 2024.
L. Li, Chang, L., Cleaveland, R., Zhu, M., and Wu, X., “The Quantum Abstract Machine”, 2024.
S. Kushnir, Leng, J., Peng, Y., Fan, L., and Wu, X., “QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent”, 2024.