{"type": "article", "title": "WebAI open-sources TwiL-LM3, a 1.7B formal reasoning model that outperforms OpenAI’s gpt-oss-120B", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/webai-open-sources-twil-lm3-a-1-7b-formal-reasoning-model-that-outperforms-gpt", "original_source": "https://cryptobriefing.com/webai-twil-lm3-formal-reasoning-model/", "published": "2026-08-10T19:08:18+00:00", "accessed": "2026-08-10", "id": "webai-open-sources-twil-lm3-a-1-7b-formal-reasoning-model-that-outperforms-gpt"}