Readable Machine Solving in Geometry and ICAI Software MSG. - Chuan-Zhong Li; Jing-Zhong Zhang (Automated Deduction in Geometry, 1998)

Negative Examples Sampling Based on Factorization Machines for OCCF. - Wei-Bin Feng; Zhen-Shun Zhang; Chuan-Zhong Li; An-Ping Song (ICSAI, 2019)