Sahil Bhatia
2 papers
· 2024–2024
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
🌈
Renaissance Researcher
(5)
Conferences
NIPS (2)
Top co-authors
Keywords
code generation
(1)
program synthesis
(1)
formal verification
(1)
code transpilation
(1)
verified lifting
(1)
functional equivalence
(1)
domain-specific language
(1)
large language model
(1)
low-resource programming language
(1)
functional verification
(1)
compiler repair
(1)
synthetic programming elicitation
(1)