collaborators

1 paper

cs.AI2026

QILP-0: Constructing Observational Declarative Twins of Quantum Circuits

Marina de la Cruz Echeandía, César Luis Alonso, Tony Ribeiro +1

This paper introduces QXymb, a general framework for constructing observational declarative twins of quantum circuits, and develops QILP-0, its first complete order-0 specializatio…