6 citations · 11 across the 11 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LG2026
Lookahead Branching for Neural Network Verification
Liam Davis, Duo Zhou, Huan Zhang +3
In this work, we investigate the effect of lookahead branching strategies in neural network verification. We present a general recipe to integrate lookahead into any branch-and-bou…
cs.LO2026
veriFIRE: an Industrial Case Study in Verifying Consistency Properties for a DNN-Based Wildfire Detection System
Idan Refaeli, Maya Swisa, Itay Buchnik +5
We present our ongoing work on the veriFIRE project: a collaboration between industry and academia, aimed at applying verification to increase the reliability of a real-world, safe…