SOURCE-LINKED INTELLIGENCE

QILP-0: Constructing Observational Declarative Twins of Quantum Circuits

arXiv · AI, language, vision and robotics · article · Sep 1, 2026 · UTC

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 according to a reproducible structural grading and a declared observational reference horizon. Progress is quantified through reference-relative coverage against a fixed target-independent reference.

Read original source ↗ Open in workspace

recordType

paper

region

Global