Vero: Can AI Agents Build Formally Verified Software Repositories?

 (arxiv.org)

2 points | by ninadwrites  9 hours ago

No comments yet.