Shuvendu Lahiri
3 papers · 2022–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌍 Conference Polyglot (2) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (14) 🧭 Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
Conferences
NIPS (2)
EMNLP (1)
Top co-authors
Keywords
large language model
(2)
code generation
(2)
fault detection
(1)
static analysis
(1)
language model
(1)
hallucination mitigation
(1)
program correctness
(1)
neural ranking
(1)
zero-shot setting
(1)
contrastive ranking
(1)
neural ranker
(1)
loop invariant synthesis
(1)
contrastive ranker
(1)
repository context
(1)
execution prediction
(1)
synthesizing inductive loop invariant
(1)
code completion
(1)
monitor-guided decoding
(1)
program verification
(1)