Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs.
Charles YuanChristopher McNallyMichael CarbinPublished in: CoRR (2022)
Keyphrases
- knowledge base
- quantum computation
- analogical reasoning
- computer programs
- knowledge representation
- reasoning tasks
- quantum computing
- reasoning process
- probabilistic logic
- automatic programming
- domain knowledge
- spatial reasoning
- automated reasoning
- reasoning systems
- sound source
- consistency checking
- natural language
- deductive reasoning
- neural network