通过循环验证器进行局部前瞻指导的自动定理证明

本研究提出了一种新的循环验证器设计，通过在每个推理步骤中提供中间反馈，解决了现有自动定理证明方法的高计算成本和反馈稀疏问题，从而提高了推理的准确性和效率。