search

Verified-Intelligence / alpha-beta-CROWN

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
Other
243 stars 60 forks source link

Upper bound with Beta CROWN #66

Closed mhmd97z closed 3 months ago

mhmd97z commented 3 months ago

Hello, is it theoretically possible to calculate the upper bound of the output using Beta Crown? I'm asking this because upper bound calculation is disabled here in this method.

shizhouxing commented 3 months ago

It focuses on computing the lower bound. The problem of computing the upper bound can be converted to a lower bound problem: https://github.com/Verified-Intelligence/alpha-beta-CROWN/issues/53