Gonzalez, Emmanuel Anaya

1. HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
   2024/05/24 by Barke, Shraddha, Gonzalez, Emmanuel Anaya, Kasibatla, Saketh Ram +2 · 6 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL)
2. Laurel: Unblocking Automated Verification with Large Language Models
   2024/05/27 by Mugnier, Eric, Gonzalez, Emmanuel Anaya, Jhala, Ranjit +2 · 2 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective
   2025/06/06 by Gonzalez, Emmanuel Anaya, Vaidya, Sairam, Park, Kanghee +3 · 4 citations
   #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG)