Dataset · Hugging Face

zhouxingshi/GenBaB

Name: GenBaB
Creator: zhouxingshi
License: mit
Keywords: license:mit, arxiv:2405.21063, region:us

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. (*Equal contribution) Acknowledgement ml4acopf was generated from AI4OPT/ml4acopf_benchmark. eran was from ERAN.

View on Hugging FaceReport an issue

Author / organization	zhouxingshi
License (as declared)	mit
Downloads	1.1K (as reported by Hugging Face)
Likes	0
Created	28 November 2024
Last updated at source	10 January 2025

Embed this entry

<iframe src="https://silytics.si/embed/item/64e5d436-4c1a-4898-aca2-d06bbf4b2cc4" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 2 days

1,090 now (+12 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.