HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis. - Shraddha Barke; Emmanuel Anaya Gonzalez; Saketh Ram Kasibatla; Taylor Berg-Kirkpatrick; Nadia Polikarpova (NeurIPS, 2024)

Laurel: Generating Dafny Assertions Using Large Language Models. - Eric Mugnier; Emmanuel Anaya Gonzalez; Ranjit Jhala; Nadia Polikarpova; Yuanyuan Zhou 001 (CoRR, 2024)

Laurel: Unblocking Automated Verification with Large Language Models. - Eric Mugnier; Emmanuel Anaya Gonzalez; Nadia Polikarpova; Ranjit Jhala; Yuanyuan Zhou 001 (Proc. ACM Program. Lang., 2025)

HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding. - Emmanuel Anaya Gonzalez; Raven Rothkopf; Sorin Lerner; Nadia Polikarpova (CoRR, 2025)

Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective. - Emmanuel Anaya Gonzalez; Sairam Vaidya; Kanghee Park; Ruyi Ji; Taylor Berg-Kirkpatrick; Loris D'Antoni (CoRR, 2025)