Nadia Polikarpova
6 papers
· 2019–2024
· 5 conferences
· across top CS/AI conferences
Achievements
π£
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
Grammar-Aligned Decoding
NIPS 2024