Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs.
Yuxin DengHuiling WuMing XuPublished in: CoRR (2023)
Keyphrases
- context sensitive
- quantum computation
- quantum mechanics
- computer programs
- formal theory
- database
- probabilistic model
- data driven
- generative model
- uncertain data
- programming environment
- automatic programming
- probabilistic knowledge
- quantum probability
- quantum inspired
- quantum computing
- classical methods
- spatial reasoning
- bayesian networks
- neural network