Declarative Modeling and Bayesian Inference of Dark Matter Halos | Read Paper on Bytez