Hadi Salman (@Hadisalman)
github

Hadisalman

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

smoothing-adversarial

Code for our NeurIPS 2019 *spotlight* "Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers"
Python
216
star
2

robust-verify-benchmark

Benchmark for LP-relaxed robustness verification of ReLU-networks
Jupyter Notebook
40
star
3

ICAPS2017-code

Repository containing the codes that were used in the paper "Multi-agent Ergodic Coverage with Obstacle Avoidance"
MATLAB
10
star
4

trajectory-optimized-active-search

Code for the ICRA2018 paper "Trajectory-Optimized Sensing for Active Search of Tissue Abnormalities in Robotic Surgery"
MATLAB
6
star
5

gym-gazebo-hadi

Modified version of gym-gazebo. Includes new Gazebo models and new deep RL architectures
Python
3
star
6

snakeMonsterGazebo

A package containing URDF model for a six legged robot (snake Monster) with a central pattern generator controller for quick integration with Gazebo
CMake
2
star
7

AirSim-robustness

C++
2
star
8

search-coverage

CMake
2
star
9

UE-vulkan-debug

Dockerfile
1
star
10

chexrobfer

Jupyter Notebook
1
star