SPLIT 依赖一个精确公式计算在接受/拒绝和最高分选择策略下提交正确答案的概率，该公式考虑了任务难度变化、模型间共享盲点以及验证器重复调用之间的相关性。