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

本发明公开了一种用于形式化定理证明的大模型思维链评估方法及系统，本方法包括：构建原始数据集并训练大模型，得到训练完毕的大模型，作为基准模型；基于原始数据集，构建第一数据集、第二数据集，生成基准中间数据、第一中间数据、第二中间数据，确定基准模...
该专利属于中国人民解放军军事科学院系统工程研究院所有，仅供学习研究参考，未经过中国人民解放军军事科学院系统工程研究院授权不得商用。

详细技术文档下载地址

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