Interval abstractions for robust ccounterfactual explanations
Python version == 3.7.13
Core packages: PyTorch 1.7.0, tensorflow 1.15.0, alibi 0.8.0, gurobipy
Gurobi solvers are used for solving Mixed Integer Programming programs, free academic licenses are available for students, staff, and academics at universities.
experiments/ contains results for Tables 3 and 4, Figures 4 and 5
experiments-LR/ contains results for logistic regressions