He, Y. H., Lee, K. H., & Oliver, T. (2022). Machine-learning the Sato–Tate conjecture. Journal of Symbolic Computation, 111, 61-72. https://doi.org/10.1016/j.jsc.2021.11.002