Shuvendu Lahiri
3 papers
· 2022–2023
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)