Vitalsource Technologies, Inc. Probabilistic Programming