TY  - RPRT
TI  - Correctness-Guaranteed Code Generation via Constrained Decoding
AU  - Lingxiao Li
AU  - Salar Rahili
AU  - Yiwei Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2508.15866
ID  - 2508.15866
ER  -