research
∙
03/26/2023
Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels
A quantum neural network (QNN) is a parameterized mapping efficiently im...
share
research
∙
03/05/2023
SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation
Quantum Hamiltonian simulation, which simulates the evolution of quantum...
research
∙
03/02/2023
Quantum Hamiltonian Descent
Gradient descent is a fundamental algorithm in both theory and practice ...
research
∙
11/11/2022
Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification
Many quantum programs are assured by formal verification, but such verif...
research
∙
11/08/2022
Differentiable Quantum Programming with Unbounded Loops
The emergence of variational quantum applications has led to the develop...
research
∙
10/28/2022
Differentiable Analog Quantum Computing for Optimization and Control
We formulate the first differentiable analog quantum computing framework...
research
∙
05/25/2022
A Convergence Theory for Over-parameterized Variational Quantum Eigensolvers
The Variational Quantum Eigensolver (VQE) is a promising candidate for q...
research
∙
04/14/2022
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm
Quantum computing technology may soon deliver revolutionary improvements...
research
∙
12/13/2021
Verified Compilation of Quantum Oracles
Quantum algorithms often apply classical operations, such as arithmetic ...
research
∙
10/13/2021
Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra
We investigate the algebraic reasoning of quantum programs inspired by t...
research
∙
10/06/2021
Exponentially Many Local Minima in Quantum Neural Networks
Quantum Neural Networks (QNNs), or the so-called variational quantum cir...
research
∙
12/11/2020
Sublinear classical and quantum algorithms for general matrix games
We investigate sublinear classical and quantum algorithms for matrix gam...
research
∙
12/09/2020
Constant-round Blind Classical Verification of Quantum Sampling
In a recent breakthrough, Mahadev constructed a classical verification o...
research
∙
04/02/2020
On the Principles of Differentiable Quantum Programming Languages
Variational Quantum Circuits (VQCs), or the so-called quantum neural-net...
research
∙
12/04/2019
A Verified Optimizer for Quantum Circuits
We present VOQC, the first fully verified compiler for quantum circuits,...
research
∙
10/31/2019
Quantum Wasserstein Generative Adversarial Networks
The study of quantum generative models is well-motivated, not only becau...
research
∙
08/11/2019
Quantum algorithm for estimating volumes of convex bodies
Estimating the volume of a convex body is a central problem in convex ge...
research
∙
04/12/2019
Verified Optimization in a Quantum Intermediate Representation
We present sqire, a low-level language for quantum computing and verific...
research
∙
04/04/2019
Sublinear quantum algorithms for training linear and kernel-based classifiers
We investigate quantum algorithms for classification, a fundamental prob...
research
∙
11/08/2018
Quantitative Robustness Analysis of Quantum Programs (Extended Version)
Quantum computation is a topic of significant recent interest, with prac...
research
∙
09/04/2018