F. Lin, “Machine Theorem Discovery”, AIMag, vol. 39, no. 2, pp. 53-59, Jul. 2018.