deductive program synthesis | BriefGPT

关键词deductive program synthesis

搜索结果 - 1

程序合成的遗传算法
利用进化计算方法改善演绎程序合成工具 SuSLik 的搜索策略，以加速正确程序的推导，交叉验证结果显示改进后的方法可泛化应用于未预见的问题。
PDF2 years ago