Fingerprint
Dive into the research topics of 'Silas: A high-performance machine learning foundation for logical reasoning and verification'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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
Research output: Contribution to journal › Article › peer-review
4
Citations
(Scopus)