Quantum Proofs of Proximity.
Marcel Dall'AgnolTom GurSubhayan Roy MoulikJustin ThalerPublished in: Quantum (2022)
Keyphrases
- theorem proving
- quantum computation
- formal proofs
- quantum computing
- equational theories
- theorem prover
- quantum inspired
- logic circuits
- proximity measures
- formal proof
- decision procedures
- mathematical proofs
- channel capacity
- low power
- case study
- databases
- image segmentation
- spatial proximity
- decision trees
- computer vision
- artificial intelligence
- machine learning
- real world
- database