would like to emphasize that we compared with over 1056 benchmarks arising from the domain of neural network 3 verification. 4 Reviewer 3

We are deeply appreciative of the reviewers for their feedback amidst these trying circumstances. To summarize, DeWeight is indeed the state of the art technique for benchmarks with large tilt. To the best of our knowledge, we are not aware of any practical applications of discrete integration that have small tilt. As mentioned on line 219, we tested our tool on 1056 formulas arising from the domain of neural network verification. These formulas evaluate robustness, trojan attack effectiveness, and fairness of a binarized neural network.