Login / Signup
Classical Verification of Quantum Computations.
Urmila Mahadev
Published in:
FOCS (2018)
Keyphrases
</>
quantum computation
quantum mechanics
model checking
formal methods
verification method
neural network
expert systems
high speed
face verification
formal analysis
formal verification
asynchronous circuits
quantum computing
quantum inspired
quantum probability