Hacker News new | ask | show | jobs
Verified Code Transpilation with LLMs (arxiv.org)
13 points by prince617 742 days ago