#TwIL-LM

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

webAI 1 开源模型 1 形式逻辑 1 自动形式化 1

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

8月11日

模型官方一手14:25

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

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

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

官方一手marktechpost@Michal Sutter原文