webAI发布3.66B逻辑模型TwIL-LM3-Pro
webAI发布的小型逻辑模型TwIL-LM3-Pro性能强大，可在笔记本本地运行，适合需要逻辑推理能力的开发者。
webAI推出TwIL-LM3-Pro模型，参数量3.66B，在正式逻辑复合基准上与Qwen3-8B性能相当，但参数量不足一半。该模型在六项正式逻辑任务上均领先VibeThinker-3B。模型基于IBM Granite 4.2微调，支持本地运行，GGUF权重文件仅2.09 GiB。
webAI has released a 3.66B model for formal logic that can run locally on a laptop.
In webAI’s tests, TwIL-LM3-Pro is roughly level with Qwen3-8B on the headline formal-logic composite, with less than half the parameters. It also leads the public VibeThinker-3B checkpoint on all six reported formal tasks.
The team specialized IBM’s Granite 4.2 through post-training to check whether conclusions follow from premises, translate statements into logic and critique formal proofs.
The Q4 GGUF weight file is just 2.09 GiB and can run locally via llama.cpp. You can keep inference on your own machine.
Weights and model card (non-commercial license): https://t.co/GQA7TQlE40
@thewebai @Davidstout
