谷歌浏览器插件
订阅小程序
在清言上使用
VIPCreated with Sketch.

Verified Code Transpilation with LLMs

Sahil Bhatia, Jie Qiu,Niranjan Hasabnis,Sanjit A. Seshia,Alvin Cheung

NeurIPS 2024（2024）

引用 6|浏览23
关键词
Program Synthesis,Compilers,Formal Methods,LLMs
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要