268 citations · 956 across the 36 of their papers we have counts for
39 papers
Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels
Xuchen You, Shouvanik Chakrabarti, Boyang Chen +1
A quantum neural network (QNN) is a parameterized mapping efficiently implementable on near-term Noisy Intermediate-Scale Quantum (NISQ) computers. It can be used for supervised le…
Quantum Hamiltonian Descent
Jiaqi Leng, Ethan Hickman, Joseph Li +1
Gradient descent is a fundamental algorithm in both theory and practice for continuous optimization. Identifying its quantum counterpart would be appealing to both theoretical and…
SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation
Yuxiang Peng, Jacob Young, Pengyu Liu +1
Quantum Hamiltonian simulation, which simulates the evolution of quantum systems and probes quantum phenomena, is one of the most promising applications of quantum computing. Recen…
Differentiable Quantum Programming with Unbounded Loops
Wang Fang, Mingsheng Ying, Xiaodi Wu
The emergence of variational quantum applications has led to the development of automatic differentiation techniques in quantum computing. Recently, Zhu et al. (PLDI 2020) have for…
Qafny: A Quantum-Program Verifier
Liyi Li, Mingwei Zhu, Rance Cleaveland +4
Because of the probabilistic/nondeterministic behavior of quantum programs, it is highly advisable to verify them formally to ensure that they correctly implement their specificati…
Differentiable Analog Quantum Computing for Optimization and Control
Jiaqi Leng, Yuxiang Peng, Yi-Ling Qiao +2
We formulate the first differentiable analog quantum computing framework with a specific parameterization design at the analog signal (pulse) level to better exploit near-term quan…