Pinned Repositories
jair22sub
praxp
Probabilistic Abductive eXplanations
RFxpl
Random Forests eXplainer with SAT
satar-xp
Data Mining: SAT-like Association Rules enumeration
SwiftXPlain
Multi-core dichotomic algorithm for finding Formal Explanations using Adversarial Examples
xpg
A Python package for explaining graph-based classifiers
Marabou
Xddnnf-experiments
Tractable Explanations for d-DNNF Classifiers.
izzayacine's Repositories
izzayacine/praxp
Probabilistic Abductive eXplanations
izzayacine/xpg
A Python package for explaining graph-based classifiers
izzayacine/jair22sub
izzayacine/RFxpl
Random Forests eXplainer with SAT
izzayacine/satar-xp
Data Mining: SAT-like Association Rules enumeration
izzayacine/SwiftXPlain
Multi-core dichotomic algorithm for finding Formal Explanations using Adversarial Examples