2 papers
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…
cs.LG2026
Can Transformers Learn to Verify During Backtracking Search?
Yin Jun Phua, Tony Ribeiro, Tuan Nguyen +1
Backtracking search underlies classical constraint solvers, planners, and theorem provers. Recent transformer-based reasoning systems explore search trees over their own intermedia…