TY  - RPRT
TI  - Differentiable Logical Programming for Quantum Circuit Discovery and Optimization
AU  - Antonin Sulc
PY  - 2026
UR  - https://arxiv.org/abs/2602.08880
ID  - 2602.08880
ER  -