arXiv ID:
2509.12603
EconProver:面向自动定理证明的更经济测试时扩展方法 / EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving
1️⃣ 一句话总结
本文提出了一种名为EconProver的经济型自动定理证明方法,通过动态思维链切换和并行强化学习技术,在保持性能的同时将计算成本降低至原有方法的12%。