Login / Signup
Succinct Classical Verification of Quantum Computation.
James Bartusek
Yael Tauman Kalai
Alex Lombardi
Fermi Ma
Giulio Malavolta
Vinod Vaikuntanathan
Thomas Vidick
Lisa Yang
Published in:
CoRR (2022)
Keyphrases
</>
quantum computation
neural network
formal analysis
bayesian networks
model checking
verification method
information systems
relational databases
artificial neural networks
face detection
signature verification
formal verification