reapxdev/zenodo-scraper huggingface dataset:
Artifact for "Incremental Neural Network Verification via Learned Conflicts"
Authors: Elsaleh, Raya, Davis, Liam, Wu, Haoze, Katz, Guy
Type: Software
Published: 2026-07-31
Keywords: neural network verification, incremental verification, branch and bound, conflict learning, Marabou, SAT solving

<p>This artifact accompanies the paper “Incremental Neural Network<br>Verification via Learned Conflicts.”</p>
<p>It contains the implementation, benchmarks, scripts, and instructions<br>required to reproduce the experimental evaluation presented in the paper.<br>The artifact was submitted for evaluation with the FMCAD 2026 paper.<br>Please see the included README for installation and reproduction<br>instructions.</p>