SART Artifact for OOPSLA 2026
Artifact repository for the OOPSLA 2026 paper:
Towards a Complete and Efficient Linear Programming-based Verification Method for Deep Neural
Networks
This release includes:
- the SART / LayerABS implementation
- benchmark models and property files
- paper experiment presets
- exported paper-table summaries in
docs/paper_tables/ - supplementary material in
SART_Supplementary_Material.pdf
Typical entrypoints are documented in README.md.
License: MIT