SART OOPSLA 2026 Artifact

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