Page 70 - 《软件学报》2025年第8期

王榕 等: 基于记忆策略的元解释学习 3493

Intelligence. Macao: AAAI Press, 2019. 6186–6190.
[33] Cropper A, Morel R. Learning programs by learning from failures. Machine Learning, 2021, 110(4): 801–856. [doi: 10.1007/s10994-020-
05934-z]
[34] Wang R, Sun J, Tian C, Duan ZH. Meta-interpretive learning with reuse. Mathematics, 2024, 12(6): 916. [doi: 10.3390/math12060916]

王榕(1991－), 女, 博士, 主要研究领域为归纳逻 于斌(1990－), 男, 博士, 讲师, CCF 高级会员, 主
辑设计, 机器学习. 要研究领域为软件系统的形式验证, 区块链, 智
能合约.

田聪(1981－), 女, 博士, 教授, 博士生导师, CCF 段振华(1948－), 男, 博士, 教授, CCF 会士, 主要
杰出会员, 主要研究领域为模型检测理论, 时序 研究领域为模型检测, 时序逻辑, 软件系统的形
逻辑和自动机, 软件系统的形式验证, 软件 式验证, 时序逻辑编程.
工程.

孙军(1978－), 男, 博士, 教授, 主要研究领域为
软件工程, 编程, 安全软件工程, 程序分析, 形式
化方法.