2022年12月23日
Proj. CRR Paper Reading: Adaptive Restarts for Stochastic Synthesis
摘要： Abstract 背景： 假设： 搜索经常会经历一系列plateus平台期 合成时间的分布经常是heavy-tailed(越在后期，进展越慢） 方法 提出了一种能加快合成速度的算法 效果 能加快一个数量级 实验： 从生产代码中提取了新benchmark 1. Intro Program synthe 阅读全文
posted @ 2022-12-23 04:52 雪溯 阅读(49) 评论(0) 推荐(0) 编辑