Classical vs Quantum Advice and Proofs Under Classically-Accessible Oracle.

Xingjian Li Qipeng Liu Angelos Pelecanos Takashi Yamakawa

Published in: ITCS (2024)

Keyphrases

quantum computation
quantum mechanics
neural network
mathematical proofs
decision trees
evolutionary algorithm
database
data mining
genetic algorithm
knowledge representation
logic programs
theorem prover
theorem proving
natural deduction
formal proof
formal proofs