Emmanuel Anaya Gonzalez
Scholar

Emmanuel Anaya Gonzalez

Google Scholar ID: SS7_tdMAAAAJ
UC San Diego
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
37
 
H-index
2
 
i10-index
2
 
Publications
4
 
Co-authors
0
 
Contact
Emailfanayagonzalez@ucsd.eduGitHubOpen ↗LinkedInOpen ↗
Publications
2 items
Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective
2025
Cited
0
Laurel: Unblocking Automated Verification with Large Language Models
2024
Cited
4
Resume (English only)
Academic Achievements
  • - Publications:
  • - Constrained Sampling for Language Models Should Be Easy: An MCMC Perspective (NeurIPS 2025)
  • - HiLDe: Intentional Code Generation via Human-in-the-Loop Decoding (VL/HCC 2025, Best Paper Award)
  • - Laurel: Generating Dafny Assertions Using Large Language Models (OOPSLA 2025)
  • - HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis (NeurIPS 2024)
  • - Optimizing Beta-Reduction in E-Graphs (EGRAPHS @ PLDI 2023)
Research Experience
  • - Position: Teaching Assistant
  • - Time: Spring 2025, Spring 2024
  • - Course: CSE 130, Programming Languages
Education
  • - Degree: PhD
  • - University: University of California, San Diego (UCSD)
  • - Advisor: Nadia Polikarpova
  • - Major: Computer Science and Engineering (CSE)
Background
  • - Research Interests: Program Synthesis, Programming Languages, Machine Learning, and Theoretical Computer Science
  • - Background: PhD student in the CSE department at UCSD, advised by Nadia Polikarpova.
Miscellany
  • - Personal Interests: Enjoy having coffee and chatting in La Jolla, CA
Co-authors
0 total
Co-authors: 0 (list not available)