温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种基于大模型的形式化定理证明生成方法及系统，属于人工智能技术领域。本方法获取第一训练数据，第一训练数据为包括形式化定理命题、证明该形式化定理命题的全部证明步骤的文本数据；获取第二训练数据，第二训练数据为包括数学领域知识的数据；...
该专利属于中国人民解放军军事科学院系统工程研究院所有，仅供学习研究参考，未经过中国人民解放军军事科学院系统工程研究院授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。