北京
分享至
国家知识产权局信息显示，大连理工大学、信华信技术股份有限公司申请一项名为“一种验证增强代码与原始代码功能等价性的过滤方法”的专利，公开号CN122570302A，申请日期为2026年6月。
专利摘要显示，本发明属于智能软件工程领域，尤其涉及一种验证增强代码与原始代码功能等价性的过滤方法。可验证用于构建高质量代码大模型的训练语料增强前后等价性，以辅助高效自动化扩充训练语料数据集规模，进而提高大语言模型在垂直领域的性能。本发明提出“先质量过滤‑再静态结构比对‑后动态行为验证”的三级流水线方法，通过质量预筛剔除低质样本显著降低后续计算开销，基于作用域感知的AST规范化与GumTree差异度量快速锁定近似等价代码，最后以统一扩充的测试用例进行动态交叉验证确保输出、返回值与副作用完全一致，实现了兼顾精度与效率的等价性判定，为代码大模型提供高可信的等价样本。
声明：市场有风险，投资需谨慎。本文为AI基于第三方数据生成，仅供参考，不构成个人投资建议。
本文源自：市场资讯
作者：情报员
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
