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

一种基于大语言模型的程序中循环不变量生成系统及方法，包括：语境理解模块、自监督学习模块、验证和精化模块以及修正优化模块，其中：语境理解模块根据输入程序在不同迭代状态下的语法和语义信息，进行深度文本理解和表示学习，得到对程序语境的高度抽象表示...
该专利属于上海交通大学所有，仅供学习研究参考，未经过上海交通大学授权不得商用。

详细技术文档下载地址

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