{"type": "article", "title": "webAI Releases TwIL-LM: A 1.7B and 3B Formal-Logic Model Family for Autoformalization on Local Hardware", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-on-local", "original_source": "https://www.marktechpost.com/2026/08/10/webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-autoformalization-on-local-hardware/", "published": "2026-08-11T06:20:09+00:00", "accessed": "2026-08-11", "id": "webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-on-local"}