Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification.

Liyi Li Mingwei Zhu Yi Lee Le Chang Xiaodi Wu

Published in: CoRR (2022)

Keyphrases

quantum computation
quantum mechanics
quantum computing
probability ranking principle
logic circuits
neural network
data mining
hybrid learning
quantum inspired
quantum probability
quantum evolutionary algorithm
genetic algorithm
artificial intelligence
three dimensional
artificial systems