Quantum Proofs of Proximity.
Marcel de Sena Dall'AgnolTom GurSubhayan Roy MoulikJustin ThalerPublished in: CoRR (2021)
Keyphrases
- quantum computation
- theorem proving
- theorem prover
- formal proofs
- quantum inspired
- equational theories
- formal proof
- quantum mechanics
- quantum computing
- natural deduction
- mathematical proofs
- logic circuits
- spatial proximity
- channel capacity
- databases
- database
- proximity measures
- cut elimination
- high speed
- quantum genetic algorithm
- genetic algorithm
- neural network
- data sets