A benchmark for LLM vericoding: formally verified program synthesisarxiv.org2 points·cpeterso··0 commentsOpen articleSaveView on HN