A software architecture for verifiable and explainable classification

DOI10.1007/S10994-026-07006-0MaRDI QIDQ7249836zbMATH OpenFDO

Authors Raul Barbosa, Salvatore Rinzivillo, Jacques Robin, Andrea Beretta, Henrique Madeira

Publication date 19 May 2026

Published in Machine Learning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10994-026-07006-0

zbMATH Keywords

classificationexplainabilitymachine learningtrustworthiness

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Cites work

• An axiomatic basis for computer programming
• Dafny: an automatic program verifier for functional correctness
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)

This page was built for publication: A software architecture for verifiable and explainable classification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7249836)