BaB for Heaviside Activation Function

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

Open mhmd97z opened 11 months ago

mhmd97z commented 11 months ago

Hi, I was wondering if alpha-beta-CROWN already supports BaB verification of networks with heaviside activation functions.