webAI发布TwIL-LM:1.78GB 的本地形式逻辑推理器,让 AI 学会“严谨思考”在大语言模型(LLM)普遍存在“幻觉”和逻辑跳跃的背景下,webAI 发布了 TwIL-LM 系列模型。这是一个专为自动形式化(Auto-Formalization)设计的轻量级模型家族,包含 1.7...大语言模型# TwIL-LM# webAI3个月前990