theorem-discovery

本文提出了一种自监督定理发现算法，该算法仅从公理和推理规则出发，无需人类先验知识即可构建定理库。实验表明，发现的定理具有意义，并能提升大语言模型的证明性能。