Tag
webAI 发布了 TwIL LM3 Pro，一个基于 IBM Granite 4.2 3B、仅针对形式逻辑（如前提蕴含判断、规则归纳、Lean 证明批判）微调的 3.66B 模型，在逻辑复合基准上以一半以内的参数量追平 Qwen3-8B，并提供可在 CPU/4GB VRAM 上运行的 GGUF 量化版本。