论文标题
SC平方：机器学习的未来进展？
SC-Square: Future Progress with Machine Learning?
论文作者
论文摘要
我们社区采用的算法通常被指定，因此具有多种实施选择，这不会影响产出的正确性，但会影响其生产的效率甚至障碍性。在这个扩展的摘要中，为了在2021 SC-Square研讨会上伴随主题演讲，我们调查了使用机器学习技术来改善SC-Square感兴趣的算法的最新工作（作者和文献）。
The algorithms employed by our communities are often underspecified, and thus have multiple implementation choices, which do not effect the correctness of the output, but do impact the efficiency or even tractability of its production. In this extended abstract, to accompany a keynote talk at the 2021 SC-Square Workshop, we survey recent work (both the author's and from the literature) on the use of Machine Learning technology to improve algorithms of interest to SC-Square.
