Verified Compilation of Quantum Oracles.
Liyi LiFinnegan VoichickKesha HietalaYuxiang PengXiaodi WuMichael HicksPublished in: CoRR (2021)
Keyphrases
- quantum computing
- quantum inspired
- quantum computation
- test cases
- knowledge compilation
- active learning
- quantum mechanics
- decision trees
- case study
- database systems
- data structure
- relational databases
- database
- hidden markov models
- test set
- learning theory
- metadata
- code generation
- knowledge base
- social networks
- information retrieval
- quantum genetic algorithm
- real time