跳到正文
原文
Chubby♨️· @kimmonismus · X·· 4 小时前AI 评分45
AI 导读

webAI 发布 3.66B 参数形式逻辑模型 TwIL-LM3-Pro,可在笔记本本地运行。其综合逻辑评测与 Qwen3-8B 持平,参数量不足后者一半,并在全部六项形式逻辑任务上领先 VibeThinker-3B。该模型基于 IBM Granite 4.2 后训练,Q4 GGUF 权重仅 2.09 GiB,可通过 llama.cpp 本地推理。

正文

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://huggingface.co/webAI-Official/TwIL-LM3-Pro

@thewebai @Davidstout

引用David Stout@Davidstout
Half a million downloads in a month. Today, our open source family takes another step forward. Thank you for the incredible support behind our first-generation models. We’re excited to introduce TwIL-LM3-Pro. At just 3.6 billion parameters, it brings powerful reasoning to everyday computers, with quantized builds that run locally. No cloud required. In our evaluation: Formal logic: Highest recorded headline score among the small models compared—beating China’s VibeThinker-3B by 35% and Qwen3.5-4B by 24%, and Liquid AI’s LFM2.5-8B-A1B by 47%. Broader reasoning: 95% on SVAMP and 64.1% on MuSR, the highest recorded scores among the small models compared. BIG-Bench Hard’s logic subset: 95.4%, compared with VibeThinker-3B’s 61.1%. We believe AI is entering a post-training era. The advantage will increasingly belong to companies with the best pipelines and those that can produce capable, personalized intelligence faster and more efficiently, then put it on devices people already own. That’s what we’re building at webAI. And we’re only beginning to share what’s coming out of our lab. Coming soon: Meridian, our family of frontier-class models built to run on device. Our most advanced models will be available through the @thewebAI application. Join the waitlist as we expand access. Proudly built in Austin, Texas. 🇺🇸
在 X 查看被引用的帖子

来源:Chubby♨️ · x.com