PSI: Exact Symbolic Inference for Probabilistic Programs

By Timon Gehr, Sasa Misailovic, Martin T. Vechev. 2016

197 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Probabilistic & Bayesian Methods

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Frank D. Wood
2. Hongseok Yang
3. Jan-Willem van de Meent
4. Brooks Paige
5. Yura N. Perov
6. David Tolpin
7. Zoubin Ghahramani
8. Tom Rainforth

In Probabilistic & Bayesian Methods

1. Frank D. Wood
2. Hongseok Yang
3. Jan-Willem van de Meent
4. Brooks Paige
5. Yura N. Perov
6. David Tolpin
7. Zoubin Ghahramani
8. Tom Rainforth

Citations in the corpus

• An Introduction to Probabilistic Programming (2018, background): “, 2014), Figaro (Pfeffer, 2009), IBAL (Pfeffer, 2001)), PSI (Gehr et al., 2016); machine learning: Church (Goodman et al.”