Vero: Can AI Agents Build Formally Verified Software Repositories?
By ninadwrites · 2026-08-16 · 2 points · 0 comments
https://arxiv.org/abs/2608.13522
By ninadwrites · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews