Lin, F. (2018). Machine Theorem Discovery. AI Magazine, 39(2), 53-59. https://doi.org/10.1609/aimag.v39i2.2794