Giters
trhoangdung

trhoangdung

Geek Repo

11

followers

3

following

9

stars

Company:University of Nebraska Lincoln

Location:Lincoln, Nebraska, USA

Home Page:https://sites.google.com/site/trhoangdung/

Github PK Tool:Github PK Tool

trhoangdung's starred repositories

nnv

Neural Network Verification Software Tool

Language:MATLABStargazers:107Issues:0Issues:0

vnncomp2022

Stargazers:17Issues:0Issues:0

Facet-Vertex-FFNN

Language:HTMLStargazers:2Issues:0Issues:0

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Language:PythonLicense:Apache-2.0Stargazers:29286Issues:0Issues:0

MADRaS

Multi-Agent DRiving Simulator

Language:PythonLicense:AGPL-3.0Stargazers:88Issues:0Issues:0

deep_drone_acrobatics

Code for the project Deep Drone Acrobatics.

Language:PythonLicense:MITStargazers:206Issues:0Issues:0

interval-bound-propagation

This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715

Language:PythonLicense:Apache-2.0Stargazers:148Issues:0Issues:0

fast_adversarial

[ICLR 2020] A repository for extremely fast adversarial training using FGSM

Language:PythonStargazers:418Issues:0Issues:0

dreal2

Please check dreal4 instead.

Language:SMTLicense:GPL-3.0Stargazers:13Issues:0Issues:0