Verified Code Transpilation with LLMs.

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

Published in: CoRR (2024)

Keyphrases

source code
databases
program understanding
real time
data sets
neural network
information retrieval
learning algorithm
knowledge base
website
digital libraries
code generation