webAI Intelligence Lab 开源 3B 形式化推理模型 TwiL-LM3

摘要与判断

webAI Intelligence Lab 开源了其首个形式化推理模型 TwiL-LM3，参数量仅为 3B。在 5 项形式化推理基准测试中，该模型有 4 项超越了 120B 参数的 OpenAI GPT-OSS-120B，且推理速度快 2.6 倍。这一发布为开发者在消费级硬件上进行高效的形式化推理任务提供了轻量级的新选择。

Topics

引用和原文

• webAI Intelligence Lab 开源了其首个形式化推理模型 TwiL-LM3，参数量仅 3B 模型在 5 项形式化推理基准测试中，有 4 项超过了 OpenAI 的
• 原文链接

Trace

Raw Item

raw_a01fed38f67f4165

Processed Item

processed_9c930f2435c14768

Source

source_x_shao_meng

Cluster

查看所属簇

LLM Logs

llm_d680ae0917364901, llm_76b156d742f44f1c, llm_086124697c4e4ce1

Coze Loop

144d2c9260723a65ef960b93c1c369d6