WebAI open-sources TwiL-LM3, a 1.7B formal reasoning model that outperforms OpenAI's gpt-oss-120B
This story is only covered by news sources that have yet to be evaluated by the independent media monitoring agencies we use to assess the quality and reliability of news outlets on our platform. Learn more here.3 Articles
3 Articles
Pathway, a Polish-founded company behind a proprietary method for building artificial intelligence, has raised additional seed funding at a valuation of $500 million. In the first public test of a model based on the Dragon Hatchling (BDH) architecture, the company set a record for "intelligence per dollar," achieving a result similar to one of the GPT-5.6 Luna variants at an 11-fold lower cost. "We're opening a new, more efficient path for AI de…
webAI Releases TwIL-LM: A 1.7B and 3B Formal-Logic Model Family for Autoformalization on Local Hardware
webAI has released TwIL-LM, a two-model family of formal-logic reasoners at 1.7B and 3B parameters. The 3B member, TwIL-LM3, is a merged fine-tune of SmolLM3-3B; the 1.7B member is a PEFT LoRA adapter for SmolLM2-1.7B-Instruct. Both target autoformalization: translating English into first-order logic and checking whether a conclusion follows from its premises. Both run locally, with a 1.06 GB quantized build for the 1.7B and a 1.78 GiB Q4_K_M GG…
WebAI open-sources TwiL-LM3, a 1.7B formal reasoning model that outperforms OpenAI's gpt-oss-120B
WebAI's TwiL-LM3 highlights the efficiency and potential of smaller, specialized AI models, challenging the dominance of larger systems. The post WebAI open-sources TwiL-LM3, a 1.7B formal reasoning model that outperforms OpenAI’s gpt-oss-120B appeared first on Crypto Briefing.
Coverage Details
Bias Distribution
- There is no tracked Bias information for the sources covering this story.
Factuality
To view factuality data please Upgrade to Premium
