技术文件

课件PPT

Silas: 可信赖和高性能的机器学习

短论文

Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM 2018. Bibtex.

完整版论文

Silas: A High-Performance Machine Learning Foundation for Logical Reasoning and Verification. Preprint. Bibtex.