TY  - RPRT
TI  - Reasoning about Continuous-Variable Quantum Systems
AU  - Tianshi Yu
AU  - Gilles Barthe
AU  - Minbo Gao
AU  - Mingsheng Ying
AU  - Li Zhou
PY  - 2026
UR  - https://arxiv.org/abs/2607.23137
ID  - 2607.23137
ER  -