Incremental precision-preserving symbolic inference for probabilistic programs.

Jieyuan Zhang, Jingling Xue

Browse the full PLDI paper archive.