Vero: Can AI Agents Build Formally Verified Software Repositories?

 (arxiv.org)

2 points | by ninadwrites 2 hours ago

0 comments