Towards Dependable and Explainable Machine Learning Using Automated Reasoning-Reference-Cited by-同舟云学术

Towards Dependable and Explainable Machine Learning Using Automated Reasoning

Published:2018 Issue: Volume: Page:412-416
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Bride Hadrien,Dong Jie,Dong Jin Song,Hóu Zhé

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-02450-5_25

Reference7 articles.

1. Bonacina, M.P.: Automated reasoning for explainable artificial intelligence. In: ARCADE Workshop (in association with CADE-26), Gothenburg, Sweden (2017)

2. Dheeru, D., Taniskidou, E.K.: UCI machine learning repository (2017)

3. Lecture Notes in Computer Science;D Kühlwein,2013

4. Dependable Intelligence Pty Ltd., Silas (2018). https://depintel.com/silas/

5. Pafka, S.: A minimal benchmark for scalability, speed and accuracy of commonly used open source implementations of the top machine learning algorithms for binary classification (2018). https://github.com/szilard/benchm-ml

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interpretability of deep neural networks: A review of methods, classification and hardware;Neurocomputing;2024-10

2. Robust integration of blockchain and explainable federated learning for automated credit scoring;Computer Networks;2024-04

3. Extracting optimal explanations for ensemble trees via automated reasoning;Applied Intelligence;2022-10-25

4. Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring;Formal Aspects of Computing;2022-06-30

5. PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home Services;Lecture Notes in Computer Science;2022