webAI发布TwIL-LM模型 支持本地硬件推理

RecodeX 重构消息，webAI发布TwIL-LM模型家族，包含1.7B和3B两个参数版本，可将英文翻译成一阶逻辑并验证结论是否由前提推出。3B版本可在CPU或4GB显存上运行，1.7B版本下载体积为1.06GB。两款模型均采用非商业许可。值得注意的是，模型卡显示基准分数来自未发布的检查点，而非Hub上实际提供的权重。