External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Hadrien Bride

This author has not been identified. Look up 'Hadrien Bride' in Google

Cheng-Hao Cai

This author has not been identified. Look up 'Cheng-Hao Cai' in Google

Jie Dong

This author has not been identified. Look up 'Jie Dong' in Google

Jin Song Dong

This author has not been identified. Look up 'Jin Song Dong' in Google

Zhé Hóu

This author has not been identified. Look up 'Zhé Hóu' in Google

Seyedali Mirjalili

This author has not been identified. Look up 'Seyedali Mirjalili' in Google

Jing Sun 0002

This author has not been identified. Look up 'Jing Sun 0002' in Google
runs on