arXiv:2504.18943v1 Announce Type: 交叉 摘要：程序合成是一个从规范生成程序和逻辑公式的总称。借助GPU对深度学习性能的显著提升，自然地提出了一个问题：我们能否在GPU上实现基于搜索的程序合成器，以实现类似性能提升？在这篇文章中，基于最近的研究工作，我们讨论了对这个问题的一些见解。目标是在GPU上构建一个合成器，该合成器以正例和负例跟踪作为输入，并返回一个接受正例并拒绝负例跟踪的逻辑公式。通过使用友好的GPU编程技术——利用公式的语义来减少数据移动并减少数据依赖性分支——我们的合成器能够处理显著更大的合成问题，并且比基于CPU的先前最先进的方法运行得更快。我们认为，使我们的方法对GPU友好的洞察具有广泛潜力，可以提高其他形式化方法（FM）工作的性能。