Super HN

   Type-Constrained Code Generation with Language Models (arxiv.org) 1 point by tough 4 minutes ago