ABACUS团队用Kev实例化框架：教师模型负责规划推理步骤并生成程序代码，冻结的判断模型作为语义执行器对每个步骤的候选答案打分。