公司
webAI
AI公司，专注于开发可本地部署的小型专精语言模型，代表产品为TwIL-LM3系列
时间轴 (近 90 天)
9月12日
webAI 推出了 TwIL-LM3 模型，参数规模为30亿（3B）
待验证50%
9月11日
TwIL-LM 是来自 webAI 的小模型，专门为自动形式化任务设计，输入英语句子并输出一阶逻辑表达式
待验证50%
AI公司，专注于开发可本地部署的小型专精语言模型，代表产品为TwIL-LM3系列
webAI 推出了 TwIL-LM3 模型，参数规模为30亿（3B）
TwIL-LM 是来自 webAI 的小模型，专门为自动形式化任务设计，输入英语句子并输出一阶逻辑表达式