Skip to content

@oval-group oval-group

Change the repository type filter

All

    Repositories list

    18 repositories

    • oval-bab

      Public
      OVAL framework for BaB-based Neural Network Verification
      Python
      •
      MIT License
      •3•18•0•0•Updated May 8, 2026May 8, 2026

    • borat

      Public
      A Stochastic Bundle Method for Interpolating Networks. JMLR 2021.
      Python
      •3•3•0•0•Updated Jul 7, 2022Jul 7, 2022

    • smooth-topk

      Public
      Smooth Loss Functions for Deep Top-k Classification
      Python
      •
      MIT License
      •37•259•2•0•Updated Aug 17, 2021Aug 17, 2021

    • AdvGNN

      Public
      Generating Adversarial Examples with Graph Neural Networks
      Python
      •3•4•0•0•Updated Aug 5, 2021Aug 5, 2021

    • ali-g

      Public
      Implementation of the ALI-G algorithm (PyTorch, Tensorflow)
      deep-learningtensorflowoptimization
      deep-learningtensorflowoptimizationpytorch
      Python
      •
      MIT License
      •5•23•1•0•Updated Mar 7, 2021Mar 7, 2021

    • dfw

      Public
      Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch
      deep-learningoptimizationpytorch
      deep-learningoptimizationpytorch
      Python
      •
      MIT License
      •10•63•0•0•Updated Mar 6, 2021Mar 6, 2021

    • GNN_branching

      Public
      Implementation of GNN ReLU branching strategies
      Python
      •
      MIT License
      •3•10•2•0•Updated Feb 13, 2021Feb 13, 2021

    • scaling-the-convex-barrier

      Public
      Scaling the convex barrier for piecewise-linear neural network verification
      Python
      •
      MIT License
      •3•6•0•0•Updated Jan 19, 2021Jan 19, 2021

    • decomposition-plnn-bounds

      Public
      Dual iterative algorithms for Neural Network output bounds computations
      Python
      •
      MIT License
      •3•4•1•0•Updated Jan 14, 2021Jan 14, 2021

    • mlogger

      Public
      a lightweight and simple logger for Machine Learning
      visualizationpythonmachine-learning
      visualizationpythonmachine-learningdeep-learningoptimizationloggingpytorchtensorboardexperimentsvisdom
      Python
      •
      MIT License
      •12•126•0•1•Updated Nov 9, 2020Nov 9, 2020

    • vnn-comp

      Public
      Python
      •7•1•0•0•Updated Jul 20, 2020Jul 20, 2020

    • statistical-robustness

      Public
      Code to reproduce experiments from "A Statistical Approach to Assessing Neural Network Robustness"
      Python
      •9•12•0•0•Updated Feb 11, 2019Feb 11, 2019

    • multivisdom_proxy

      Public
      How to create a server that will proxy to multiple visdom running on different computers.
      Python
      •
      MIT License
      •0•1•0•0•Updated Nov 28, 2018Nov 28, 2018

    • PLNN-verification

      Public
      All code for the Piecewise Linear Neural Networks verification: A comparative study paper
      Python
      •
      GNU General Public License v3.0
      •8•35•0•0•Updated Nov 7, 2018Nov 7, 2018

    • DenseCRF

      Public
      C++
      •10•20•0•0•Updated Oct 27, 2017Oct 27, 2017

    • Partial-linearization

      Public
      Code for Partial Linearization based Optimization for Multi-class SVM
      MATLAB
      •0•2•0•0•Updated Aug 29, 2017Aug 29, 2017

    • DISCONets

      Public
      Python
      •2•4•0•0•Updated Jul 9, 2017Jul 9, 2017

    • pl-cnn

      Public
      A layer-wise algorithm for learning Convolutional Neural Networks
      Python
      •
      MIT License
      •6•8•0•0•Updated May 9, 2017May 9, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.