Experiments combining Imandra with statistical or probabilistic models - View it on GitHub