1. Research
  2. Publications

Publications

Export 34 results:
Author Title Type [ Year(Desc)]
Filters: Author is Xiaodi Wu  [Clear All Filters]
2023
A. Senanian, Prabhu, S., Kremenetski, V., Roy, S., Cao, Y., Kline, J., Onodera, T., Wright, L. G., Wu, X., Fatemi, V., and McMahon, P. L., “Microwave signal processing using an analog quantum reservoir computer”, 2023.
J. Leng, Hickman, E., Li, J., and Wu, X., “Quantum Hamiltonian Descent”, 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.