Stanford 团队将 LLM-as-a-Verifier 框架在 GitHub 开源，搜索仓库名即可找到。该框架核心思路可套用到任何支持多采样的模型上，不限于 DeepSeek，作者建议做 agent 和编程工具的人去看，验证逻辑拆细后提升空间比想象中大。