Login / Signup
Interactive Proofs for Synthesizing Quantum States and Unitaries.
Gregory Rosenthal
Henry Yuen
Published in:
CoRR (2021)
Keyphrases
</>
user interaction
theorem proving
quantum computation
interactive video
state space
expert systems
theorem prover
computer graphics
databases
finite state machines
interactive learning
initial state
information systems
interactive exploration
logic circuits
mathematical knowledge
artificial intelligence