模型官方一手14:25webAI发布TwIL-LM：1.7B和3B形式逻辑模型，本地硬件自动形式化想本地跑形式逻辑？TwIL-LM 1.7B和3B能翻译英文到一阶逻辑，3B只要4GB显存，但注意基准分数是未发布版本的。#TwIL-LM#webAI#形式逻辑#自动形式化官方一手marktechpost@Michal Sutter原文稍后读已读值得跟进有用关注 TwIL-LM
模型中美对照多源确认精选11:35webAI开源3B推理模型TwiL-LM3，4项基准超GPT-OSS-120B3B 的小模型在推理上干翻了 120B 的大家伙，还能跑在树莓派上，开源了直接就能玩。#TwiL-LM3#webAI#GPT-OSS#推理模型10 个信源在谈事件专题shao__meng@shao__meng11 个信源在谈原文稍后读已读值得跟进有用关注 TwiL-LM3
