Review for NeurIPS paper: Probabilistic Inference with Algebraic Constraints: Theoretical Limits and Practical Approximations

Two reviewers rated the paper very highly (8, 9). R3 initially gave a very low rating and expressed concerns about correctness of the intractability result, especially related to the representation of numbers in the reduction from subset sum. This point received significant discussion. The meta-reviewer read the proof and felt it was very clear and agrees with the authors. There is one minor ambiguity that can be resolved: the authors don't specify the representation of the constants that appear in the constraints in the WMI problem instance.