← Search

Sahil Bhatia

2 accepted papers

2024

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages

NeurIPS 2024poster

Recent advances in large language models (LLMs) for code applications have demonstrated remarkable zero-shot fluency and instruction following on challenging code related tasks ranging from test case generation to self-repair. Unsurprisingly, however, models struggle to compose syntactically valid p…

2024

Verified Code Transpilation with LLMs

NeurIPS 2024poster

Domain-specific languages (DSLs) have become integral to various software workflows. Such languages offer domain-specific optimizations and abstractions that improve code readability and maintainability. However, leveraging these languages requires developers to rewrite existing code using the spec…

Cited by 10SourcePDFScholar