Pinned Repositories
xpg
A Python package for explaining graph-based classifiers
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
bkfdd-CUDD
BKFDD package based on CUDD-3.0
dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
dtree2dset
Converting Decision Trees into Decision Sets
fmp-experiments
feature membership problem
frpRF-experiments
Solving Explainability Queries with Quantification: The Case of Feature Relevancy
Xddnnf
A Python package for explaining d-DNNF/SDD classifiers
Xddnnf-experiments
Tractable Explanations for d-DNNF Classifiers.
Xfr-Sv
formal explanation feature relevancy vs. SHAP scores on d-DNNFs (boolean), MDDs and DTs (discrete).
XuanxiangHuang's Repositories
XuanxiangHuang/bkfdd-CUDD
BKFDD package based on CUDD-3.0
XuanxiangHuang/dtree2dset
Converting Decision Trees into Decision Sets
XuanxiangHuang/Xddnnf-experiments
Tractable Explanations for d-DNNF Classifiers.
XuanxiangHuang/Xfr-Sv
formal explanation feature relevancy vs. SHAP scores on d-DNNFs (boolean), MDDs and DTs (discrete).
XuanxiangHuang/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
XuanxiangHuang/dd
Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy
XuanxiangHuang/fmp-experiments
feature membership problem
XuanxiangHuang/frpRF-experiments
Solving Explainability Queries with Quantification: The Case of Feature Relevancy
XuanxiangHuang/Xddnnf
A Python package for explaining d-DNNF/SDD classifiers
XuanxiangHuang/frp-experiment
Feature Necessity & Relevancy in ML Classifier Explanations (Code)
XuanxiangHuang/Frp-Shap-Lime
On the comparison between feature relevancy, as measured by AXp and CXp, and SHAP scores (computed using Lundberg's SHAP tool or Barcelo's algorithms) and LIME scores.
XuanxiangHuang/JNUMasterThesis
暨南大学硕士学位论文LaTex模板
XuanxiangHuang/mit-deep-learning-book-pdf
MIT Deep Learning Book in PDF format (complete and parts) by Ian Goodfellow, Yoshua Bengio and Aaron Courville
XuanxiangHuang/practical-common-lisp
Source code for 'Practical Common Lisp' by Peter Seibel
XuanxiangHuang/xdl-tool
Abductive explanations for decision lists
XuanxiangHuang/xdual
XDual - duality-based computation and enumeration of abductive and contrastive explanations
XuanxiangHuang/xpg
A Python package for explaining graph-based classifiers