Author

Haoze Wu

h-index 5 View on Semantic Scholar

We have 2 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.

Conference Jul 2026

Lookahead Branching for Neural Network Verification

This work presents a general recipe to integrate lookahead into any branch-and-bound verifier and demonstrates how one of the current state-of-the-art branching heuristics, FSB, can be viewed as a special instantiation of the lookahead branching strategy.

Liam Davis, Duo Zhou, Huan Zhang et al. · Proceedings of the Thirty-Fi... · 1 citation

#graph neural networks Jul 2026

Learning Lookahead Lemmas for Neural Network Verification

An inprocessing framework for neural network verification driven by the lookahead procedure is introduced, which derives new lemmas over the phases of unstable ReLUs, which are collected into an implication graph that is used to prune the search space and vivify boolean cuts.

Liam Davis, Haoze Wu · arXiv.org · 0 citations