Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple presented by Matthew England and Dorian Florescu at the Maple Conference 2019.
