Fetching the paper…
Reading the bibliography…
Predictive models are being increasingly used to support consequential decision making at the individual level in contexts such as pretrial bail and loan approval.
A constructive approach to the problem of program correctness
Dijkstra, E. W. (1968) · 1968
Earlier work this paper cites.
An axiomatic basis for computer programming
Hoare, C. A. R. (1969) · 1969
Earlier work this paper cites.
Global value numbers and redundant computations
Rosen, B. K., Wegman, M. N., and Zadeck, F. K. (1988) · 1988
Earlier work this paper cites.
Efficiently computing static single assignment form and the control dependence graph
Cytron, R., Ferrante, J., Rosen, B. K., Wegman, M. N., and Zadeck, F. K. (1991) · 1991
Earlier work this paper cites.
Assigning Meanings to Programs
Floyd, R. W. (1993) · 1993
Earlier work this paper cites.
The comprehensibility manifesto
Kodratoff, Y. (1994) · 1994
Earlier work this paper cites.
https://archive.ics.uci.edu/ml/datasets/adult
Adult data (1996) · 1996
Earlier work this paper cites.
Avoiding exponential explosion: Generating compact verification conditions
Flanagan, C. and Saxe, J. B. (2001) · 2001
Earlier work this paper cites.
On SAT modulo theories and optimization problems
Nieuwenhuis, R. and Oliveras, A. (2006) · 2006
Earlier work this paper cites.
Learning interpretable models
Rüping, S. (2006) · 2006
Earlier work this paper cites.
Z3: an efficient SMT solver
de Moura, L. M. and Bjørner, N. (2008) · 2008
Earlier work this paper cites.
Decision Procedures: An Algorithmic Point of View
Kroening, D. and Strichman, O. (2008) · 2008
Cited alongside, same era.
The comparisons of data mining techniques for the predictive accuracy of probability of default of credit card clients
Yeh, I.-C. and Lien, C.-h. (2009) · 2009
Cited alongside, same era.
Scikit-learn: Machine learning in python
Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., et al. (2011) · 2011
Cited alongside, same era.
Optimization in SMT with ℒ 𝒜 ( ℚ ) \mathcal{LA}(\mathbb{Q}) cost functions
Sebastiani, R. and Tomasi, S. (2012) · 2012
Cited alongside, same era.
Comprehensible classification models: a position paper
Freitas, A. A. (2014) · 2014
Cited alongside, same era.
Pysmt: a solver-agnostic library for fast prototyping of smt-based algorithms
Interpretable predictions of tree-based ensembles via actionable feature tweaking
Tolomei, G., Silvestri, F., Haines, A., and Lalmas, M. (2017) · 2017
Later among the works it cites.
Challenges for transparency
Weller, A. (2017) · 2017
Later among the works it cites.
The mythos of model interpretability
Lipton, Z. C. (2018) · 2018
Later among the works it cites.
Please stop explaining black box models for high stakes decisions
Rudin, C. (2018) · 2018
Later among the works it cites.
Darpa’s explainable artificial intelligence (XAI) program
Gunning, D. (2019) · 2019
Closest in time.
Definitions, methods, and applications in interpretable machine learning
Murdoch, W. J., Singh, C., Kumbier, K., Abbasi-Asl, R., and Yu, B. (2019) · 2019
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Gario, M. and Micheli, A. (2015) · 2015
Cited alongside, same era.
Big data’s disparate impact
Barocas, S. and D. Selbst, A. (2016) · 2016
Cited alongside, same era.
https://github.com/propublica/compas-analysis
Larson, J., Mattu, S., Kirchner, L., and Angwin, J. (2016) · 2016
Cited alongside, same era.
Towards a rigorous science of interpretable machine learning
Doshi-Velez, F. and Kim, B. (2017) · 2017
Cited alongside, same era.
Safety verification of deep neural networks
Huang, X., Kwiatkowska, M., Wang, S., and Wu, M. (2017) · 2017
Cited alongside, same era.
Reluplex: An efficient SMT solver for verifying deep neural networks
Katz, G., Barrett, C. W., Dill, D. L., Julian, K., and Kochenderfer, M. J. (2017) · 2017
Cited alongside, same era.
The EU general data protection regulation (GDPR)
Voigt, P. and Von dem Bussche, A
Cited in the paper.
Closest in time.
Efficient search for diverse coherent explanations
Russell, C. (2019) · 2019
Closest in time.
An abstract domain for certifying neural networks
Singh, G., Gehr, T., Püschel, M., and Vechev, M. T. (2019) · 2019
Closest in time.
Actionable recourse in linear classification
Ustun, B., Spangher, A., and Liu, Y. (2019) · 2019
Closest in time.
The what-if tool: Interactive probing of machine learning models
Wexler, J., Pushkarna, M., Bolukbasi, T., Wattenberg, M., Viégas, F., and Wilson, J. (2019) · 2019
Closest in time.