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

Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun 0002. Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl., 176:114806, 2021. [doi]

Abstract

Abstract is missing.