prince617 Karma 10 Created 9 years ago Recent Submissions 1. ▲ Verified Code Transpilation with LLMs (arxiv.org) 13 points · 1 year ago · 4 comments 2. ▲ Data Structure Synthesizer for Rails (github.com) 1 point · 5 years ago · 0 comments All submissions on HN · View profile on HN