察元AI教程库 · 文章 · 大模型

强化型大型语言模型是一种形式化定理证明器

为了利用大语言模型在定理形式化和证明中的优势，我们提出了一种强化学习框架，通过逐步优化预训练的LLM，通过生成下一步策略并与预期策略进行比较来迭代优化。实验结果表明，该方法有助于实现更高的

作者:Zhiling Luo · 语言:en

前往原址学习

简介

为了利用大语言模型在定理形式化和证明中的优势，我们提出了一种强化学习框架，通过逐步优化预训练的LLM，通过生成下一步策略并与预期策略进行比较来迭代优化。实验结果表明，该方法有助于实现更高的

返回教程库 · 察元AI产品家族