ABACUS：冻结判定模型的程序引导多步推理框架

ABACUS 框架通过生成式教师离线设计程序，引导冻结判定模型完成多步推理。在 BIG-Bench Hard 任务中，优化后的程序在 600 个 held-out 问题上取得 99.67% 宏准确率，比 Qwen3.5-4B 高 30.87 个百分点。 该策略实现 8.43 倍在线加速，单题耗时仅 0.255 秒，证明可复用程序能在参数固定时大幅提升紧凑判定模型的推理能力。