#形式逻辑

共 2 条 · 7 天 0 条 · 30 天 1 条

webAI 2 开源模型 2 TwIL-LM 1 TwIL-LM3-Pro 1 推理模型 1 自动形式化 1

信息流里打上「形式逻辑」标签的资讯、产品与论文，按刊登时间排，新的在上。

10月1日

模型 Agent 与开发者精选73°09:50

webAI发布TwIL-LM3-Pro推理模型

webAI新推的3.66B参数模型，主打形式逻辑推理，小体积就能跑，性能还超过多个大模型。

#TwIL-LM3-Pro #webAI #推理模型 #形式逻辑

shao__meng@shao__meng原文

8月11日

模型官方一手14:25

webAI发布TwIL-LM：1.7B和3B形式逻辑模型，本地硬件自动形式化

想本地跑形式逻辑？TwIL-LM 1.7B和3B能翻译英文到一阶逻辑，3B只要4GB显存，但注意基准分数是未发布版本的。

#TwIL-LM #webAI #形式逻辑 #自动形式化

官方一手marktechpost@Michal Sutter原文