返回全部动态
webAI 发布 TwIL-LM3：3B 形式逻辑推理模型，兼顾领域与泛化性能
原标题：webAI-Official/TwIL-LM3
AI 摘要
webAI 官方发布了基于 SmolLM3-3B 的 3B 规模形式逻辑推理模型 TwIL-LM3，通过 LoRA 微调、检查点融合、WiSE-FT 和 GRPO 强化学习训练。该模型在领域内形式逻辑任务上相对基座提升 26%，同时保持甚至提升泛化基准性能，在多项指标上超越参数规模更大的模型。模型采用非商业许可，支持 GGUF 量化，可在低资源环境运行。
以上摘要由 AI 生成，可能存在误差。事实请以原文为准。
正文节选
--- language: - en library_name: transformers pipeline_tag: text-generation base_model: HuggingFaceTB/SmolLM3-3B license: other license_name: webai-non-commercial-license-ver.-1.0 license_link: https://huggingface.co/webAI-Official/TwIL-LM3/blob/main/LICENSE.md tags: - formal-logic - reasoning - lora - model-merging - wise-ft - reinforcement-learning - grpo - smollm3 - twil-lm --- # TwIL-LM3 A 3B reasoning model for **formal logic** tasks, built from [`HuggingFaceTB/SmolLM3
发布时间：2026-09-10 03:34
抓取时间：2026-09-10 03:37
来源机构：Hugging Face