From: ICML.cc/2021/Workshop/AML/Program_Chairs
title: Paper Decision
decision: Accept (Poster)
comment: This paper proposed a novel bound propagation algorithm. The idea is interesting. The experiments are solid.

From: ICML.cc/2021/Workshop/AML/Paper90/Reviewer_dyX4
title: A novel bound propagation algorithm
review: This paper proposed a new bound propagation algorithm named beta-CROWN. It formulates the problem equivalent to the expensive LP based methods with neuron split constraints while it is as efficient as the IBP methods. The idea is interesting and the mathematical derivation is complete. The experimental results are also impressive which is both efficient and effective.
rating: Accept
confidence: 4: The reviewer is confident but not absolutely certain that the evaluation is correct