  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.
