SC-Square: Future Progress with Machine Learning?
Symbolic Computation
2022-11-30 v1 Machine Learning
Abstract
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.
Cite
@article{arxiv.2209.04361,
title = {SC-Square: Future Progress with Machine Learning?},
author = {Matthew England},
journal= {arXiv preprint arXiv:2209.04361},
year = {2022}
}
Comments
10 pages. Survey Paper. Accepted into SC-Square 2021 Workshop Proceedings