Chuan-Zhong Li

According to our database, Chuan-Zhong Li authored at least 2 papers between 1998 and 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2019

Negative Examples Sampling Based on Factorization Machines for OCCF.

Wei-Bin Feng, Zhen-Shun Zhang, Chuan-Zhong Li, An-Ping Song

Proceedings of the 6th International Conference on Systems and Informatics, 2019

1998

Readable Machine Solving in Geometry and ICAI Software MSG.

Chuan-Zhong Li, Jing-Zhong Zhang

Proceedings of the Automated Deduction in Geometry, 1998