Skip to content
Change the repository type filter

All

    Repositories list

    • NeVer2

      Public
      A tool for learning and verification of neural networks
      Python
      Other
      1720Updated Jan 26, 2026Jan 26, 2026
    • Repository for the experiments presented in the paper "Generation and Mitigation of Precision-Based Evasion Attacks in Neural Networks Verification" submitted t…
      MATLAB
      0000Updated Jan 13, 2026Jan 13, 2026
    • HTML
      MIT License
      1110Updated Jan 7, 2026Jan 7, 2026
    • MOCO

      Public
      MOdel COmpiler
      Python
      Apache License 2.0
      2100Updated Jan 5, 2026Jan 5, 2026
    • pyNeVer

      Public
      A Python library for learning and verification of neural networks and other machine learning models
      Jupyter Notebook
      Other
      61470Updated Sep 18, 2025Sep 18, 2025
    • Selected benchmarks repository to use for regression testing while developing NeVer2
      0000Updated Jul 25, 2025Jul 25, 2025
    • .github

      Public
      Organization repository
      0000Updated May 25, 2025May 25, 2025
    • CoCoNet

      Public archive
      A tool for construction and conversion of neural networks across different standards
      Python
      Other
      0520Updated Dec 4, 2023Dec 4, 2023
    • SCAn

      Public
      Statistical Code Analyzer
      0000Updated Feb 15, 2023Feb 15, 2023
    • A repository collecting research benchmarks for the Intelligenza Artificiale Journal
      SMT
      0000Updated Mar 22, 2022Mar 22, 2022