Marabou
PulseAugur coverage of Marabou — every cluster mentioning Marabou across labs, papers, and developer communities, ranked by signal.
-
New lookahead lemma framework enhances neural network verification
Researchers have developed a new in-processing framework for neural network verification that utilizes a lookahead procedure. This method generates new lemmas based on unstable ReLUs, which are then compiled into an imp…
-
New lookahead strategy boosts neural network verification efficiency
Researchers have developed a new lookahead branching strategy for neural network verification, aiming to improve the efficiency and effectiveness of existing branch-and-bound verifiers. This strategy can be integrated i…
-
New lookahead branching strategy accelerates neural network verification
Researchers have developed a new method for neural network verification by integrating lookahead branching strategies into branch-and-bound verifiers. This approach can be applied to existing heuristics, such as FSB, an…
-
New method enhances neural network verification with partial multi-neuron relaxation
Researchers have introduced a novel technique called partial multi-neuron relaxation for verifying neural networks. This method aims to improve the balance between the tightness of bounds and computational scalability, …