Collaborated with:
J.Xue
Talks about:
probabilist (1) increment (1) program (1) preserv (1) symbol (1) precis (1) infer (1)
Person: Jieyuan Zhang
DBLP: Zhang:Jieyuan
Contributed to:
Wrote 1 papers:
- PLDI-2019-ZhangX #incremental #probability #source code
- Incremental precision-preserving symbolic inference for probabilistic programs (JZ, JX), pp. 237–252.