2023年9月11日
Proj. CRR Paper Reading: Optimal Speedup of Las Vegas Algorithms, Adaptive restart for stochastic synthesis
摘要： Title Adaptive restart for stochastic synthesis PLDI 2021 Task Distribute the power between multiple runs in stochastic program synthesis to accelerat 阅读全文
posted @ 2023-09-11 19:19 雪溯 阅读(3) 评论(0) 推荐(0) 编辑