{"type": "article", "title": "Lanyon AI discloses $10.6M round for formally verified scientific code", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/lanyon-ai-discloses-10-6m-round-for-formally-verified-scientific-code", "original_source": "https://runtimewire.com/article/lanyon-ai-10-6m-formally-verified-scientific-computing", "published": "2026-08-17T08:25:39+00:00", "accessed": "2026-08-17", "id": "lanyon-ai-discloses-10-6m-round-for-formally-verified-scientific-code"}