Sahil Bhatia
2 papers · 2024–2024 · 1 venue · 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 ↓
🌉
Interdisciplinary Bridge · Silver
Venues
Top co-authors
Research topics
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)