SmolLM3-3B

mentions 2 type Organization feed RSS

// recent coverage 2 mentions

06:20

2026-08-11

marktechpost.com

artificial-intelligence

webAI Releases TwIL-LM: A 1.7B and 3B Formal-Logic Model Family for Autoformalization on Local Hardware

WebAI released TwIL-LM, a two-model family of formal-logic reasoners at 1.7B and 3B parameters, with the 3B model TwIL-LM3 outperforming gpt-oss-120b on four of five formal-reasoning lanes while runni…

19:08

2026-08-10

cryptobriefing.com

artificial-intelligence

WebAI open-sources TwiL-LM3, a 1.7B formal reasoning model that outperforms OpenAI’s gpt-oss-120B

WebAI, an Austin-based AI company, released its TwiL-LM family of formal-logic reasoning models on August 10, with the flagship TwiL-LM3, a 3B-parameter model, outperforming OpenAI's gpt-oss-120B on f…

// co-occurs with top 8 entities

Hugging Face 2 webAI 1 TwIL-LM 1 TwIL-LM3 1 SmolLM2-1.7B-Instruct 1 gpt-oss-120b 1 Qwen3-8B 1 WebAI 1

// topics top 5 topics

artificial intelligence 2 machine learning 2 large language models 2 ai research 2 ai products 1