Zhiyang Chen

可解释的程序合成

Zhang 等人提出可解释的程序合成方法，通过三种表示方法（演绎/归纳/枚举）揭示综合过程，使正则表达式编程任务成功率显著提升。