Nadia Polikarpova
5 papers · 2019–2024 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge Β· Gold π Academic Marathon Β· Sprint πΊοΈ Taxonomy Completionist (17) π£ Hot Topic Early Bird π Conference Polyglot Β· Bronze
π
Keyword Champion
π
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Natural Language Processing
(3)
Artificial Intelligence
(2)
Computer Science
(2)
Machine Learning
(2)
Core AI
(2)
Foundations
(2)
Generation
(2)
Learning Types
(2)
Optimization & Theory
(2)
Resources & Methods
(2)
Deep Learning
(1)
Interdisciplinary
(1)
Mathematics & Optimization
(1)
Application Areas
(1)
Applications
(1)
Keywords
large language model
(3)
code generation
(2)
program synthesis
(2)
constraint satisfaction
(1)
probability calibration
(1)
language model
(1)
surrogate model
(1)
tabular data
(1)
constrained decoding
(1)
grammar constraint
(1)
structured output generation
(1)
domain-specific language
(1)
information flow control
(1)
type system
(1)
constraint-based learning
(1)
context-free grammar
(1)
security policy
(1)
data wrangling
(1)
phonological process
(1)
grammar-constrained decoding
(1)
Papers
Grammar-Aligned Decoding
NeurIPS 2024
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
NeurIPS 2024
Solving Data-centric Tasks using Large Language Models
NAACL 2024
STORM: Refinement Types for Secure Web Applications
OSDI 2021
Constraint-based Learning of Phonological Processes
EMNLP 2019