模型
TwIL-LM
webAI发布的1.7B/3B参数形式逻辑模型家族，支持本地硬件运行，用于英语到一阶逻辑的自动形式化
官网 ↗档案回溯至 2026-08 · 收录于 2026-08-11热度 0.0
formal-logicreasoning
暂未评估,等待下一轮评分。
事件时间线
- 2026-08-11 📦 版本webAI发布TwIL-LM形式逻辑模型家族
关联信号
想把「TwIL-LM」相关的机会落到自己的业务上?
想把 AI 机会落到自己的业务上?
灯塔背后的优秘智能团队提供:AI 落地咨询 · GEO 优化(让 AI 搜索推荐你的品牌) · 定制开发。留下需求,1 个工作日内回复。