Leanabell-Prover:形式推理中的后训练扩展

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

本研究通过混合数据集和强化学习优化自动定理证明(ATP)在形式推理中的应用,显著提升了多种形式证明工具的性能,达到行业领先水平。

🏷️

标签

➡️

继续阅读