This primarily is a release for a journal submission to SoSym in December 2025, based on an extension of a 2025 Formalise paper "Robustness Verification of Video Classification Neural Networks": https://doi.org/10.1109/FormaliSE66629.2025.00009
What's Changed
- Add dockerfile and instructions by @mldiego in #275
- Integrate CP method with default python version by @mldiego in #277
- Add example conformal verification by @mldiego in #278
- Fixing test suite by @mldiego in #279
- Fix CP for tests by @mldiego in #282
- Merging latest changes before copilot tests by @mldiego in #283
- Add comprehensive unit and integration tests for engine/nn layers and functions by @ttj in #281
- Testing updates: soundness and regressions; minor bug fixes by @ttj in #286
- Changes for MNIST MLP experiment by @m-usama-z in #287
- added load_images_MNIST() to utils by @m-usama-z in #289
- SoSym Extension by @sammsaski in #291
New Contributors
- @Copilot made their first contribution in #281
- @ttj made their first contribution in #286
- @m-usama-z made their first contribution in #287
Full Changelog: vnncomp2025...sosym2025
Contributors
ttj, mldiego, and 2 other contributors