Correctness-Guaranteed Code Generation via Constrained Decoding arxiv.org 2 points by PaulHoule 8 hours ago