HN Explorer

prince617

↗ HN profile [ 17.6 ms ] full profile
Karma
10
Created
April 21, 2016 (10y ago)
Submissions
0
  1. Verified Code Transpilation with LLMs (arxiv.org)
    13 points 6
  2. Data Structure Synthesizer for Rails (github.com)
    1 points 0