Our paper Type-Constrained Code Generation with Language Models is accepted at PLDI 2025!