Venue: NeurIPS 2019 Workshop Program_Transformations

Reviews:

final_score: rating: 7: Good paper, accept
review_content: This paper demonstrates how algebraic circuit transformations are equivalent to tasks such as differentiation and probabilistic inference. Much of the submission is a survey of previous work/agenda for future work on program transformations in algebraic circuits and PPLs, and it’s unclear to me whether there’s a substantial original research contribution. Nevertheless, I think that the paper contains an interesting perspective, is well-motivated, and within scope of the workshop.
review_title: Largely a survey of previous work/proposed future work, but an interesting synthesis and within the workshop's scope

final_score: rating: 7: Good paper, accept
review_content: This paper deals with the transformation of probabilistic programs into logical circuits. Many of the specifics are out of my domain of speciality, but I found the topic interesting and relevant for the workshop, the writing clear, and found no glaring technical errors (again, this is not my field, so I could only check for what I know). It is a good submission, and we should accept it.
review_title: An interesting topic and seemingly technically sound execution

Meta-review: The authors make interesting connections between AD/ML and algebraic circuits that we are eager to hear more about. The reviewers did mention that it is unclear in the abstract what are novel contributions and what is existing work.
Decision: Accept (Poster)