Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
Zonotope Domains for Lagrangian Neural Network Verification
Authors: Matt Jordan, Jonathan Hayase, Alex Dimakis, Sewoong Oh
NeurIPS 2022 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | We apply Zono Dual to a variety of networks trained on MNIST and CIFAR-10 and demonstrate that Zono Dual outperforms the linear programming relaxation in both tightness and runtime, and yields a tighter bounding algorithm than the prior dual approaches. |
| Researcher Affiliation | Academia | Matt Jordan UT Austin EMAIL Jonathan Hayase University of Washington EMAIL Alexandros G. Dimakis UT Austin EMAIL Sewoong Oh University of Washington EMAIL |
| Pseudocode | No | The paper describes the algorithm steps in text but does not include structured pseudocode or algorithm blocks. |
| Open Source Code | Yes | Github Repo: https://github.com/revbucket/dual-verification |
| Open Datasets | Yes | We apply Zono Dual to a variety of networks trained on MNIST and CIFAR-10 |
| Dataset Splits | Yes | Figure 1 (left) contains the distribution of reported bounds over every correctly-classified example in the MNIST validation set. |
| Hardware Specification | No | The paper states it is 'amenable to GPU acceleration' but does not specify exact GPU models, CPU types, or other detailed hardware specifications in the main text. |
| Software Dependencies | Yes | Gurobi Optimization, LLC. Gurobi Optimizer Reference Manual, 2021. URL https://www. gurobi.com. |
| Experiment Setup | Yes | We then decompose each zonotope into 2-dimensional partitions, using the similarity heuristic for fully-connected networks, and the spatial heuristic for convolutional networks. Then we perform 1000 iterations of the Adam optimizer during the dual ascent procedure. |