trhoangdung's Stars
google/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
locuslab/fast_adversarial
[ICLR 2020] A repository for extremely fast adversarial training using FGSM
uzh-rpg/deep_drone_acrobatics
Code for the project Deep Drone Acrobatics.
google-deepmind/interval-bound-propagation
This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715
verivital/nnv
Neural Network Verification Software Tool
madras-simulator/MADRaS
Multi-Agent DRiving Simulator
stanleybak/vnncomp2022
dreal/dreal2
Please check dreal4 instead.
Shaddadi/Facet-Vertex-FFNN