pith. sign in

Title resolution pending

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

fields

cs.CR 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Differential Zonotopes for Verifying Global Robustness of DNNs

cs.CR · 2026-06-19 · unverdicted · novelty 6.0

Differential halo zonotopes enable static verification of global robustness in DNNs by jointly propagating pairs of perturbed inputs while bounding divergence, with a relaxed confidence-based variant.

citing papers explorer

Showing 1 of 1 citing paper.

  • Differential Zonotopes for Verifying Global Robustness of DNNs cs.CR · 2026-06-19 · unverdicted · none · ref 21

    Differential halo zonotopes enable static verification of global robustness in DNNs by jointly propagating pairs of perturbed inputs while bounding divergence, with a relaxed confidence-based variant.