已收录文章摘要，完整内容可前往原文阅读。
在自然语言逻辑推理中，判断最终答案是否正确往往并不难，难的是确认答案背后的证明是否真的成立。一条可验证的证明，不应只是一段生成完之后再交给验证器打分的文本。它更像一个持续构造的证明状态：模型每推出一个