Author

Zhenya Zhang

h-index 4 View on Semantic Scholar

We have 1 of 11 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Branch and Bound for Relational Verification of Neural Networks

A branch-and-bound framework to mitigate the issue of verifying relational specifications against relational specifications, which iteratively splits the problem until all sub-problems are verified, and devise a relational neuron selection strategy based on the dual formulation of the verification problem.

Kota Fukuda, Zhenya Zhang, Guanqin Zhang et al. · 0 citations