Sign in
Classical Verification of Quantum Computations in Linear Time.
Jiayu Zhang
Published in:
FOCS (2022)
Keyphrases
</>
quantum computation
quantum mechanics
model checking
quantum computing
formal methods
quantum probability
signature verification
np complete
logic circuits
real time
motion estimation
artificial neural networks
social networks
artificial intelligence
machine learning
databases
data sets