{"type": "article", "title": "June-July 2026 AI Security via Formal Methods", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/june-july-2026-ai-security-via-formal-methods", "original_source": "https://www.lesswrong.com/posts/jq5gjS9dtorwYvpTD/june-july-2026-ai-security-via-formal-methods", "published": "2026-07-03T12:32:25+00:00", "accessed": "2026-07-04", "id": "june-july-2026-ai-security-via-formal-methods"}