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 journalArticlepeer-review

3 Citations (Scopus)

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.

Engineering & Materials Science