oval-group / GNN_branchingView external linksLinks
Implementation of GNN ReLU branching strategies
☆10Feb 13, 2021Updated 5 years ago
Alternatives and similar repositories for GNN_branching
Users that are interested in GNN_branching are comparing it to the libraries listed below
Sorting:
- Library for training globally-robust neural networks.☆31Aug 7, 2025Updated 6 months ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Nov 7, 2018Updated 7 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Jul 25, 2024Updated last year
- ☆13Oct 11, 2024Updated last year
- This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715☆161Dec 20, 2019Updated 6 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- The repository is under construction.☆10Aug 13, 2021Updated 4 years ago
- Open-source repository for the ISSTA'23 paper "CONCORD: Clone-aware Contrastive Learning for Source Code"☆11Nov 10, 2023Updated 2 years ago
- Download Activity Net Videos☆10Nov 3, 2015Updated 10 years ago
- Implementation for Proximal Neural Networks.☆11Sep 17, 2021Updated 4 years ago
- Ray Framework (https://github.com/ray-project/ray) on Kubernetes☆12Oct 12, 2018Updated 7 years ago
- Code of On L-p Robustness of Decision Stumps and Trees, ICML 2020☆10Aug 3, 2020Updated 5 years ago
- ☆12Jul 8, 2023Updated 2 years ago
- ☆11Jul 8, 2024Updated last year
- FANC is a tool for the proof transfer of incomplete verification☆12Mar 20, 2022Updated 3 years ago
- Describes categorical values and bitfields to give values in a file a certain meaning (classification).☆12May 18, 2024Updated last year
- Code for generating a single image pretraining dataset☆13Aug 3, 2021Updated 4 years ago
- An Algorithm to Quantify Robustness of Recurrent Neural Networks☆49Apr 24, 2020Updated 5 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 5 years ago
- Training scripts and Python modules for the ECCV 2018 paper "Interpolating Convolutional Networks Using Batch Normalization"☆11Jun 13, 2020Updated 5 years ago
- Repository for the paper "Adversarial Variational Optimization of Non-Differentiable Simulators"☆16Dec 17, 2018Updated 7 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆13Sep 18, 2025Updated 4 months ago
- Benchmarks for the VNN Comp 2023☆16Jun 7, 2024Updated last year
- Zeroth-order Min-max Optimization☆12Jun 28, 2020Updated 5 years ago
- ☆11Oct 18, 2022Updated 3 years ago
- An implementation of pneumonia medical X-ray image classification problem using Federated Learning in PySyft.☆12Jun 16, 2019Updated 6 years ago
- FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.☆10May 4, 2018Updated 7 years ago
- Video action classification benchmark for common CNN architectures, implemented in PyTorch☆11Jan 31, 2022Updated 4 years ago
- Chrome extension that sends you to a random productive site from a list☆14Oct 10, 2016Updated 9 years ago
- Code for the paper "Deep Partition Aggregation: Provable Defenses against General Poisoning Attacks"☆13Aug 22, 2022Updated 3 years ago
- The socket.io layer of Overleaf for real-time editor interactions☆17Aug 6, 2021Updated 4 years ago
- The released code of Neurify in NIPS 2018☆50Dec 8, 2022Updated 3 years ago
- Anki Flashcards Deck Stats Explorer and Visualizer☆13Jan 26, 2023Updated 3 years ago
- A neural text style transfer model☆12Jun 23, 2019Updated 6 years ago
- [ICLR 2024] Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain☆10Nov 24, 2025Updated 2 months ago
- Collection of MPC Protocols, mostly using libscapi☆13Nov 3, 2019Updated 6 years ago
- Iterate on LLM-based structured generation forward and backward☆22Mar 20, 2025Updated 10 months ago
- A Framework for Deep Neural Network Verification☆57Dec 14, 2024Updated last year
- The official repo for GCP-CROWN paper☆13Sep 26, 2022Updated 3 years ago