A limitation of the current work is that the implemented verification framework does not take into account the mutability of feature. Some features, such as age, cannot be changed, making the counterfactuals less actionable. This is a limitation of the implementation alone, and previous work has addressed this by making certain features protected  [1]}. In future work we hope to further validate these methods by applying them to a variety of datasets. Additionally, these methods should be validated with human studies, similar to those found in  [2]}.
