Probabilistic verification of fairness properties via concentration.

Osbert Bastani Xin Zhang Armando Solar-Lezama

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

probabilistic model
real world
bayesian networks
uncertain data
database systems
generative model
resource allocation
information theoretic
context sensitive
database
information retrieval
artificial neural networks
conditional probabilities
posterior probability
structural properties
desirable properties