{"type": "article", "title": "Vero: Can AI Agents Build Formally Verified Software Repositories?", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/vero-can-ai-agents-build-formally-verified-software-repositories", "original_source": "https://arxiv.org/abs/2608.13522", "published": "2026-08-16T11:03:32+00:00", "accessed": "2026-08-16", "id": "vero-can-ai-agents-build-formally-verified-software-repositories"}