【技术实现步骤摘要】
本专利技术属于人工智能，尤其是涉及一种用于形式化定理证明的大模型思维链评估方法及系统。
技术介绍
1、形式化定理证明技术是一种使用数学和逻辑方法来验证数学定理正确性的技术。这种技术将数学定理和证明过程用一种严格的、形式化的语言表示出来，然后使用计算机程序来检查这些证明的正确性。形式化定理证明技术提供了一种严格和系统的方法来验证数学定理，它在保证数学和计算机科学领域的正确性和安全性方面发挥着关键作用。目前形式化定理证明的人工编写证明面临着高入门门槛和高成本的挑战。编写形式化定理证明需要深厚的数学和逻辑知识，学习曲线陡峭，且需要掌握复杂的证明工具。此外，证明的工作量较大，通常需要数周甚至数月的时间来完成，证明花费的时间经常超过开发所需时间。高入门门槛和高成本目前阻碍了形式化定理证明技术的应用。
2、大语言模型技术在形式化定理证明领域得到了应用。大语言模型技术是一种基于深度学习的自然语言处理技术，通过训练大规模的神经网络模型，使其能够理解和生成自然语言。这种技术已经在智能客服、机器翻译、情感分析等各个领域得到了广泛的应用。在形式化...
【技术保护点】
1.一种用于形式化定理证明的大模型思维链评估方法，其特征在于，所述方法包括如下步骤：
2.如权利要求1所述的方法，其特征在于，所述步骤S2，基于所述第一中间数据、第二中间数据与所述基准中间数据的对比结果，确定所述基准模型的第一性能，其中：
3.如权利要求2所述的方法，其特征在于，所述步骤S3，基于所述基准注意力数据与第三注意力数据的对比结果，确定所述基准模型的第二性能，包括：
4.如权利要求3所述的方法，其特征在于，所述步骤S4，基于所述基准思维链提示数据与第四基准思维链提示数据的对比结果，确定所述基准模型的第三性能，包括：
...【技术特征摘要】
1.一种用于形式化定理证明的大模型思维链评估方法，其特征在于，所述方法包括如下步骤：
2.如权利要求1所述的方法，其特征在于，所述步骤s2，基于所述第一中间数据、第二中间数据与所述基准中间数据的对比结果，确定所述基准模型的第一性能，其中：
3.如权利要求2所述的方法，其特征在于，所述步骤s3，基于所述基准注意力数据与第三注意力数据的对比结果，确定所述基准模型的第二性能，包括：
4.如权利要求3所述的方法，其特征在于，所述步骤s4，基于所述基准思维链提示数据与第四基准思维链提示数据的对比结果，确定所述基准模型的第三性能，...
【专利技术属性】
技术研发人员：张龙，张建宇，杨峰，张京京，
申请(专利权)人：中国人民解放军军事科学院系统工程研究院，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。