Interactive Proofs for Synthesizing Quantum States and Unitaries.

Gregory Rosenthal Henry Yuen

Published in: ITCS (2022)

Keyphrases

user friendly
computer graphics
graphical interface
user interaction
databases
formal proofs
mathematical proofs
formal proof
interactive video
interactive learning
state transition
user interface
artificial neural networks
video sequences
image sequences
database systems
learning algorithm