Skip to content

@abstract-machine-learning Abstract Machine Learning

Change the repository type filter

All

    Repositories list

    7 repositories

    • NAVe

      Public
      kNN Abstract Verification tool
      Terra
      •
      GNU General Public License v3.0
      •2•1•0•0•Updated Dec 6, 2023Dec 6, 2023

    • silva

      Public
      Silvarum Interpretatione Lator Valens Analysis - Stability analyzer for tree ensemble calssifiers.
      C
      •
      GNU General Public License v3.0
      •2•8•0•0•Updated Oct 25, 2023Oct 25, 2023

    • saver

      Public
      SVM Abstrac Verifier tool
      C
      •
      GNU General Public License v3.0
      •5•12•0•0•Updated Oct 13, 2022Oct 13, 2022

    • data-collection

      Public
      Collection of data sets and ready-to-use models
      Python
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Sep 15, 2022Sep 15, 2022

    • Data

      Public
      Python
      •0•0•0•0•Updated Sep 3, 2022Sep 3, 2022

    • meta-silvae

      Public
      Magister Efficiens Temperat Arobore Silvae
      C
      •
      GNU General Public License v3.0
      •0•4•0•0•Updated Aug 14, 2021Aug 14, 2021

    • dataset

      Public
      Dataset utilities
      GNU General Public License v3.0
      •0•0•0•0•Updated Jul 16, 2020Jul 16, 2020