标签
webAI 发布了 TwIL LM3 Pro，一个基于 IBM Granite 4.2 3B、仅针对形式逻辑（如前提蕴含判断、规则归纳、Lean 证明批判）微调的 3.66B 模型，在逻辑复合基准上以不到一半的参数量追平 Qwen3-8B，并提供可在 CPU/4GB 显存上运行的 GGUF 量化版本。
IBM发布了Granite 4.2，这是一系列开放权重大语言模型，提供高达300亿参数的版本，配备128,000个token的上下文窗口，并采用代理强化学习以增强能力。
对 PrismML 的 1-bit Bonsai-8B 与 IBM 的 Granite 及其他模型在 CPU 工具调用上的独立基准测试显示，在语法约束解码下，Bonsai-8B 的通过率达到 92%，超越了更大的模型，但在无约束条件下失败。Granite 是原始表现最好的模型，通过率为 72%。
介绍了一种名为apostate的新型对比消融算子，该算子将模型拒绝率从96%降低至5%，同时仅以0.081 KL散度保留无害行为，已在Granite 3.3-8B上测试。
此拉取请求为 llama.cpp（一个开源 LLM 推理引擎）增加了对 Granite4 Vision 模型的支持。