Vero: Can AI Agents Build Formally Verified Software Repositories?
Posted 2 hours ago by
ninadwrites
2
points
https://arxiv.org/abs/2608.13522
0
comments