Elizabeth Polgreen
4 papers · 2024–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Conference Polyglot (3) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer π Cross-Pollinator (15)
π
Keyword Champion
Conferences
AAAI (2)
ACL (1)
NIPS (1)
Top co-authors
Keywords
large language model
(2)
program synthesis
(2)
online learning
(1)
natural language processing
(1)
text generation
(1)
code generation
(1)
automated reasoning
(1)
formal verification
(1)
monte-carlo tree search
(1)
multi-armed bandit
(1)
prompt selection
(1)
genetic algorithm
(1)
syntax-guided synthesis
(1)
low-resource programming language
(1)
grammar generation
(1)
compiler repair
(1)
reinforcement learning
(1)
synthetic programming elicitation
(1)
few-shot learning
(1)
Papers
Online Prompt Selection for Program Synthesis
AAAI 2025
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
ACL 2025
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
NIPS 2024
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis
AAAI 2024