Publications

Emmanuel Anaya Gonzalez

Equal contribution

, Sairam Vaidya

Equal contribution

, Kanghee Park, Ruyi Ji, Taylor Berg-Kirkpatrick, Loris D'Antoni (2025). Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective. NeurIPS 2025.

Kanghee Park

Equal contribution

, Xuanyu Peng

Equal contribution

Kanghee Park, Timothy Zhou, Loris D'Antoni (2025). Flexible and Efficient Grammar-Constrained Decoding. ICML 2025.

Kanghee Park

Equal contribution

, Jiayu Wang

Equal contribution

, Taylor Berg-Kirkpatrick, Nadia Polikarpova, Loris D'Antoni (2024). Grammar-Aligned Decoding. In NeurIPS 2024.

Kanghee Park, Loris D'Antoni, Thomas Reps (2023). Synthesizing Specifications. OOPSLA 2023.

Kanghee Park, Keith J.C. Johnson, Loris D'Antoni, Thomas Reps (2023). Modular System Synthesis. FMCAD 2023.