CalibForge：用对抗性求解器校准扩展可学习终端任务

CalibForge 提出一种自主终端任务合成系统，通过多求解器校准和对比校准，将任务构建为受约束的对抗性作者-求解器循环，使候选任务处于可证明可解但未被统一求解的"可学习区"。