2 citations · 2 across the 3 of their papers we have counts for
3 papers
Comparing Neural Network Encodings for Logic-based Explainability
Levi Cordeiro Carvalho, Saulo A. F. Oliveira, Thiago Alves Rocha
Providing explanations for the outputs of artificial neural networks (ANNs) is crucial in many contexts, such as critical systems, data protection laws and handling adversarial exa…
An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
Antônio Carlos Souza Ferreira Júnior, Thiago Alves Rocha
The increasing advancements in the field of machine learning have led to the development of numerous applications that effectively address a wide range of problems with accurate pr…
Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
Francisco Mateus Rocha Filho, Thiago Alves Rocha, Reginaldo Pereira Fernandes Ribeiro +1
Support Vector Classifier (SVC) is a well-known Machine Learning (ML) model for linear classification problems. It can be used in conjunction with a reject option strategy to rejec…