X · @huggingface
· X / Twitter
RT David Stout: Today, we’re excited to open-source TwiL-LM3, the first formal reasoning model from the webAI Intelligence Lab. At just 3 billion par…
RT David StoutToday, we’re excited to open-source TwiL-LM3, the first formal reasoning model from the webAI Intelligence Lab.At just 3 billion parameters, TwiL-LM3 outperforms OpenAI’s GPT-OSS-120B on 4 of 5 formal reasoning benchmarks while running efficiently on consumer hardware. That’s 40× fewer parameters, 2.6× fa