Lin, Fangzhen, Hong Kong University of Science and Technology, Hong Kong

• AI Magazine Vol. 39 No. 2: Summer 2018 - Articles
  Machine Theorem Discovery
  Abstract  PDF