TY - RPRT TI - Hybrid Path-Sums for Hybrid Quantum Programs AU - Christophe Chareton AU - Jad Issa AU - Mathieu Nguyen AU - Nicolas Blanco AU - Sébastien Bardin PY - 2026 DO - 10.1145/3808314 UR - https://arxiv.org/abs/2604.24578 ID - 2604.24578 ER -