Skip to content
@NeVerTools

NeVer Tools

README.md

NeVerTools

neuralverification.org repository organization

NeVerTools is an organization powered by University of Genova and University of Sassari, with the collaboration of University of Kent.

Contributors

  • Stefano Demarchi (UniGE)
  • Dario Guidotti (UniSS)
  • Luca Pulina (UniSS)
  • Armando Tacchella (UniGE)
  • Andrea Gimelli (UniGE)
  • Karim Pedemonte (UniGE)
  • Pedro Henrique Simão Achete (UniGE)
  • Elena Botoeva (UniKent)

Pinned Loading

  1. NeVer2 NeVer2 Public

    A tool for learning and verification of neural networks

    Python 4

  2. pyNeVer pyNeVer Public

    A Python library for learning and verification of neural networks and other machine learning models

    Python 10 4

Repositories

Showing 8 of 8 repositories
  • ICLP_2025 Public

    Repository for the experiments su8bmitted to ICLP2025

    NeVerTools/ICLP_2025’s past year of commit activity
    MATLAB 0 0 0 0 Updated Apr 3, 2025
  • pyNeVer Public

    A Python library for learning and verification of neural networks and other machine learning models

    NeVerTools/pyNeVer’s past year of commit activity
    Python 10 4 6 0 Updated Feb 17, 2025
  • NeVer2 Public

    A tool for learning and verification of neural networks

    NeVerTools/NeVer2’s past year of commit activity
    Python 4 0 3 (1 issue needs help) 0 Updated Dec 13, 2024
  • NeVerTools.github.io Public
    NeVerTools/NeVerTools.github.io’s past year of commit activity
    CSS 1 MIT 0 0 0 Updated Sep 21, 2024
  • .github Public

    Organization repository

    NeVerTools/.github’s past year of commit activity
    0 0 0 0 Updated Sep 21, 2024
  • CoCoNet Public

    A tool for construction and conversion of neural networks across different standards

    NeVerTools/CoCoNet’s past year of commit activity
    Python 6 1 2 0 Updated Dec 4, 2023
  • SCAn Public

    Statistical Code Analyzer

    NeVerTools/SCAn’s past year of commit activity
    0 0 0 0 Updated Feb 15, 2023
  • IA_benchmarks_2022 Public

    A repository collecting research benchmarks for the Intelligenza Artificiale Journal

    NeVerTools/IA_benchmarks_2022’s past year of commit activity
    SMT 0 0 0 0 Updated Mar 22, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…