如果能用确定性检查捕获大部分坏输出，就可以使用更小的模型并依赖验证器。