SmolLM2-1.7B-Instruct

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…

WebAI released TwiL-LM, a family of formal-logic models with 1.7 billion and 3 billion parameter variants, on August 10, claiming the 3B model outperforms OpenAI's gpt-oss-120b on four of five formal-…