improbable-research/abstractInterpretation

Experiments with abstract interpretation for Bayesian inference on probabilistic programs

abstractInterpretation

Experiments with abstract interpretation for Bayesian inference on probabilistic programs