Jie Dong

Silas: A high-performance machine learning foundation for logical reasoning and verification

Jin Song Dong, Seyed Mohammad Mirjalili, Hadrien Bride, 2021, Expert Syst. Appl..

Machine learning study of the molecular drivers of natural product prices

Vincent Blay, Jie Dong, Andrés Moya, 2021, Biofuels, Bioproducts and Biorefining.

Exploring the effects of training samples on the accuracy of crop mapping with machine learning algorithm

Wei Han, Yangyang Fu, Ruoque Shen, 2023, Science of Remote Sensing.

BitTableAC: Associative classification algorithm based on BitTable

Jie Dong, Jie Lian, Jie Dong, 2010, 2010 International Conference on Intelligent Control and Information Processing.

Silas: High Performance, Explainable and Verifiable Machine Learning pdf

Jin Song Dong, Jie Dong, Seyed Mohammad Mirjalili, 2019, ArXiv.

Towards Dependable and Explainable Machine Learning Using Automated Reasoning

Jin Song Dong, Jie Dong, Hadrien Bride, 2018, ICFEM.