Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
Emannuel L. de A. Bezerra, Luiz H. T. Viana, Vinícius P. Chagas +3
Cardiovascular disease (CVD) remains one of the leading global health challenges, accounting for more than 19 million deaths worldwide. To address this, several tools that aim to p…
cs.LO2026
Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
Luiz Fernando Paulino Queiroz, Carlos Henrique Leitão Cavalcante, Thiago Alves Rocha
Neural networks (NNs) are pervasive across various domains but often lack interpretability. To address the growing need for explanations, logic-based approaches have been proposed…