Towards Dependable and Explainable Machine Learning Using Automated Reasoning.

Hadrien Bride, Jie Dong, Jin Song Dong, Zh Hu

Browse the full ICFEM paper archive.