{"type": "article", "title": "AI Broke Half the Case Against Formal Verification", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/ai-broke-half-the-case-against-formal-verification", "original_source": "https://sourcefeed.dev/a/ai-broke-half-the-case-against-formal-verification", "published": "2026-08-16T23:08:24+00:00", "accessed": "2026-08-17", "id": "ai-broke-half-the-case-against-formal-verification"}