Skip to content
@oval-group

oval-group

Popular repositories Loading

  1. smooth-topk smooth-topk Public

    Smooth Loss Functions for Deep Top-k Classification

    Python 246 35

  2. mlogger mlogger Public

    a lightweight and simple logger for Machine Learning

    Python 127 12

  3. dfw dfw Public

    Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch

    Python 61 10

  4. PLNN-verification PLNN-verification Public

    All code for the Piecewise Linear Neural Networks verification: A comparative study paper

    Python 33 8

  5. ali-g ali-g Public

    Implementation of the ALI-G algorithm (PyTorch, Tensorflow)

    Python 22 5

  6. DenseCRF DenseCRF Public

    C++ 20 10

Repositories

Showing 10 of 18 repositories
  • oval-bab Public

    OVAL framework for BaB-based Neural Network Verification

    oval-group/oval-bab’s past year of commit activity
    Python 12 MIT 3 0 0 Updated Feb 21, 2024
  • borat Public

    A Stochastic Bundle Method for Interpolating Networks. JMLR 2021.

    oval-group/borat’s past year of commit activity
    Python 3 2 0 0 Updated Jul 7, 2022
  • smooth-topk Public

    Smooth Loss Functions for Deep Top-k Classification

    oval-group/smooth-topk’s past year of commit activity
    Python 246 MIT 35 1 0 Updated Aug 17, 2021
  • AdvGNN Public

    Generating Adversarial Examples with Graph Neural Networks

    oval-group/AdvGNN’s past year of commit activity
    Python 2 2 0 0 Updated Aug 5, 2021
  • ali-g Public

    Implementation of the ALI-G algorithm (PyTorch, Tensorflow)

    oval-group/ali-g’s past year of commit activity
    Python 22 MIT 5 1 0 Updated Mar 7, 2021
  • dfw Public

    Implementation of the Deep Frank-Wolfe Algorithm -- Pytorch

    oval-group/dfw’s past year of commit activity
    Python 61 MIT 10 0 0 Updated Mar 6, 2021
  • GNN_branching Public

    Implementation of GNN ReLU branching strategies

    oval-group/GNN_branching’s past year of commit activity
    Python 9 MIT 3 2 0 Updated Feb 13, 2021
  • scaling-the-convex-barrier Public

    Scaling the convex barrier for piecewise-linear neural network verification

    oval-group/scaling-the-convex-barrier’s past year of commit activity
    Python 6 MIT 2 0 0 Updated Jan 19, 2021
  • decomposition-plnn-bounds Public

    Dual iterative algorithms for Neural Network output bounds computations

    oval-group/decomposition-plnn-bounds’s past year of commit activity
    Python 3 MIT 1 0 0 Updated Jan 14, 2021
  • mlogger Public

    a lightweight and simple logger for Machine Learning

    oval-group/mlogger’s past year of commit activity
    Python 127 MIT 12 0 1 Updated Nov 9, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…