国家知识产权局信息显示,大连理工大学、信华信技术股份有限公司申请一项名为“一种验证增强代码与原始代码功能等价性的过滤方法”的专利,公开号CN122570302A,申请日期为2026年6月。

专利摘要显示,本发明属于智能软件工程领域,尤其涉及一种验证增强代码原始代码功能等价性的过滤方法。可验证用于构建高质量代码大模型的训练语料增强前后等价性,以辅助高效自动化扩充训练语料数据集规模,进而提高大语言模型在垂直领域的性能。本发明提出“先质量过滤‑再静态结构比对‑后动态行为验证”的三级流水线方法,通过质量预筛剔除低质样本显著降低后续计算开销,基于作用域感知的AST规范化与GumTree差异度量快速锁定近似等价代码,最后以统一扩充的测试用例进行动态交叉验证确保输出、返回值与副作用完全一致,实现了兼顾精度与效率的等价性判定,为代码大模型提供高可信的等价样本

声明:市场有风险,投资需谨慎。本文为AI基于第三方数据生成,仅供参考,不构成个人投资建议。

本文源自:市场资讯

作者:情报员