一种结合大语言模型与基于测试的形式化验证的程序理解和演化方法
Date:2026-07-13 Hits:
Type of Patent:Invent
State of Patent:Pending patent
Application Number:CN202610304221.0
Service Invention or Not:no
First Author:刘艾
Disigner of the Invention:贾泽东,刘杨
Publication Date:2026-06-16
Application Date:2026-03-13
