AIMarkTechPostabout 2 hours ago
webAI Releases TwIL-LM Formal-Logic Models
4 min read
webAI released TwIL-LM, a two-model family of formal-logic reasoners at 1.7B and 3B parameters. The 3B member is a merged fine-tune of SmolLM3-3B; the 1.7B is a PEFT LoRA adapter for SmolLM2-1.7B-Instruct. Both run locally, with quantized builds available.
Level
Hype check
Tap to vote and see what everyone thinks.
Summary by ByteBrief
