A Probabilistic Programming Approach for Outlier Detection in Healthcare Claims | IEEE Conference Publication | IEEE Xplore