EqBaB: Efficient equivalence verification for compressed DNNs with bound propagation

Zihao Mo, Weiming Xiang 0001. EqBaB: Efficient equivalence verification for compressed DNNs with bound propagation. Neurocomputing, 674:132791, 2026. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.