A benchmark for vericoding: formally verified program synthesisarxiv.org3 points·luskira··0 commentsOpen articleSaveView on HN