Vero: Can AI Agents Build Formally Verified Software Repositories?

2 pointsposted 9 hours ago
by ninadwrites
(arxiv.org)

No comments yet