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]
@article{BrideCDDHMS21,
title = {Silas: A high-performance machine learning foundation for logical reasoning and verification},
author = {Hadrien Bride and Cheng-Hao Cai and Jie Dong and Jin Song Dong and Zhé Hóu and Seyedali Mirjalili and Jing Sun 0002},
year = {2021},
doi = {10.1016/j.eswa.2021.114806},
url = {https://doi.org/10.1016/j.eswa.2021.114806},
researchr = {https://researchr.org/publication/BrideCDDHMS21},
cites = {0},
citedby = {0},
journal = {Expert Syst. Appl.},
volume = {176},
pages = {114806},
}