zhouxingshi/GenBaB download history

zhouxingshi/GenBaB is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 469 times (205 in the last 7 days), and 11,072 times in total. It ranks #34,828 among datasets by monthly downloads.

Benchmarks in GenBaB This repository contains benchmarks used in GenBaB proposed in the following paper: Zhouxing Shi*, Qirui Jin*, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang. Neural Network Verification with Branch-and-Bound for General Nonlinearities. To appear in TACAS 2025. (*

Open zhouxingshi/GenBaB on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.