斯坦福团队在 GitHub 开源了 LLM-as-a-Verifier 框架，把验证逻辑拆细，核心思路可套用到任何支持多采样的模型，不只是 DeepSeek。作者建议做 agent 和编程工具的人去看，并认为验证逻辑拆细后提升空间比想象中大。