Releases · Verivital/nnv - GitHub

Trang chủ » Nnv Github » Releases · Verivital/nnv - GitHub

Có thể bạn quan tâm

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

Từ khóa » Nnv Github