{"type": "article", "title": "Testing LLMs against seL4: Can AI break formally proven code?", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/testing-llms-against-sel4-can-ai-break-formally-proven-code", "original_source": "https://promptcube3.com/en/news/4190/", "published": "2026-07-29T03:57:14+00:00", "accessed": "2026-07-29", "id": "testing-llms-against-sel4-can-ai-break-formally-proven-code"}