Shuvendu Lahiri
3 papers · 2022–2023 · 2 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(14)
🐣
Hot Topic Early Bird
📈
Trend Setter
Venues
Top co-authors
Research topics
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)