TwIL-LM3
webAI推出的30亿参数形式化推理专精小模型，Q4_K_M量化后仅占1.78GiB，支持4GB显存或纯CPU运行，专注于形式化推理、规则归纳、语义解析等结构化任务
时间轴 (近 90 天)
webAI 推出了 TwIL-LM3 模型，参数规模为30亿（3B）
在规则归纳（Rule Induction）任务上，TwIL-LM3 得分96.4，gpt-oss-120b 得分65.2
在吞吐量方面，TwIL-LM3 达到 32.9 answers/sec，gpt-oss-120b 为 12.6 answers/sec
在更广泛的综合基准聚合分数上，120B 模型仍然领先于 TwIL-LM3
TwIL-LM3 的胜出严格限定在狭窄的形式化推理任务和运行效率两个维度
对于狭窄的形式化推理、合规规则、合同逻辑、研究验证等应用场景，能本地运行的专家模型优于藏在API背后的巨型通用模型
TwIL-LM3 模型可在 Hugging Face 上通过 huggingface.co/webAI-Official/TwIL-LM3 下载
全部知识事实 (7)
在更广泛的综合基准聚合分数上，120B 模型仍然领先于 TwIL-LM3
50%待验证在规则归纳（Rule Induction）任务上，TwIL-LM3 得分96.4，gpt-oss-120b 得分65.2
50%待验证在吞吐量方面，TwIL-LM3 达到 32.9 answers/sec，gpt-oss-120b 为 12.6 answers/sec
50%待验证TwIL-LM3 模型可在 Hugging Face 上通过 huggingface.co/webAI-Official/TwIL-LM3 下载
50%待验证TwIL-LM3 的胜出严格限定在狭窄的形式化推理任务和运行效率两个维度
50%待验证对于狭窄的形式化推理、合规规则、合同逻辑、研究验证等应用场景，能本地运行的专家模型优于藏在API背后的巨型通用模型
50%待验证webAI 推出了 TwIL-LM3 模型，参数规模为30亿（3B）
50%