Hasabnis, Niranjan
- Verified Code Transpilation with LLMs
2024/06/05 by Sahil Bhatia, Bhatia, Sahil, Jie Qiu +7 · 1 voice · 8 citations
Computer Science · #Natural Language Processing Techniques #Mathematics, Computing, and Information Processing #Digital Rights Management and Security