Nadia Polikarpova
6 papers · 2019–2024 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π§ Keyword Pioneer π Conference Polyglot (5) π Academic Marathon (5) π Cross-Pollinator (10)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(20)
π
Interdisciplinary Bridge
π
Keyword Champion
Conferences
NIPS (2)
EMNLP (1)
IJCNLP (1)
NAACL (1)
OSDI (1)
Top co-authors
Keywords
large language model
(3)
boolean satisfiability
(2)
phonological process
(2)
code generation
(2)
program synthesis
(2)
unsupervised learning
(2)
tabular datum
(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)
grammar-constrained decoding
(1)
refinement type
(1)
web application security
(1)
Papers
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
NIPS 2024
Grammar-Aligned Decoding
NIPS 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
Constraint-based Learning of Phonological Processes
IJCNLP 2019