QILP-0: Constructing Observational Declarative Twins of Quantum Circuits
This paper introduces QXymb, a general framework for constructing observational declarative twins of quantum circuits, and develops QILP-0, its first complete order-0 specialization. QILP-0 constructs a finite multi-valued propositional logic program from observed circuit behaviour within a declared observational scope. The pipeline traverses a declared family of quantum observables incrementally…
We haven't written up this one. arXiv cs.AI has the full story — the link below goes straight to it.
