Sahil Bhatia
- Verified Code Transpilation with LLMs
2024/06/05 by Sahil Bhatia, Bhatia, Sahil, Jie Qiu +7 · 1 voice · 4 citations
Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Digital Rights Management and Security
- Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
2024/06/05 by Federico Mora, Mora, Federico, Justin Wong +15 · 2 citations
Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Autocomp: A Powerful and Portable Code Optimizer for Tensor Accelerators
2025/05/24 by Charles C. Hong, Sahil Bhatia, Hong, Charles +5 · 4 citations
Mathematics · Computer Science · #Tensor decomposition and applications #Parallel Computing and Optimization Techniques #Advanced Neural Network Applications