Emmanuel Anaya Gonzalez

According to our database, Emmanuel Anaya Gonzalez authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, June, 2025

Laurel: Unblocking Automated Verification with Large Language Models.

Eric Mugnier, Emmanuel Anaya Gonzalez, Nadia Polikarpova, Ranjit Jhala, Yuanyuan Zhou

Proc. ACM Program. Lang., 2025

HiLDE: Intentional Code Generation via Human-in-the-Loop Decoding.

Emmanuel Anaya Gonzalez, Raven Rothkopf, Sorin Lerner, Nadia Polikarpova

Proceedings of the 2025 IEEE Symposium on Visual Languages and Human-Centric Computing, 2025

2024

Laurel: Generating Dafny Assertions Using Large Language Models.

Eric Mugnier, Emmanuel Anaya Gonzalez, Ranjit Jhala, Nadia Polikarpova, Yuanyuan Zhou

CoRR, 2024

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.

Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024