souradeep-111
Hi, Souradeep here. I am currently a Postdoctoral Scholar, at UPenn. Current interests include- Formal Methods, AI, RL, and general learning
University of Colorado, BoulderBoulder, CO, USA
Pinned Repositories
adhs_2018
compiler_construction_fall_17
A poor man's version of a python to x86 compiler
dlwpt-code
Code for the book Deep Learning with PyTorch by Eli Stevens, Luca Antiga, and Thomas Viehmann.
haarpsi
The Haar wavelet-based perceptual similarity index (HaarPSI) is a similarity measure for images that aims to correctly assess the perceptual similarity between two images with respect to a human viewer.
handwritten-digit-recognition
Handwritten digit recognition using neural network trained on 60000 images from MNIST dataset
Neural-Network-Controller-Verification-Benchmarks-HSCC-2019
This repository contains the benchmarks for neural network controller verification project using reach set computation.
sherlock
Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
sherlock_2
Sherlock_2_Simple
Sherlock without rule inference and other fancy stuff
verification_guided_training
The code here implements verification guided training scheme for neural network plant models. The verification scheme uses SHERLOCK to implement range propagation idea, and Tensorflow to train the Neural Network.
souradeep-111's Repositories
souradeep-111/sherlock
Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
souradeep-111/Neural-Network-Controller-Verification-Benchmarks-HSCC-2019
This repository contains the benchmarks for neural network controller verification project using reach set computation.
souradeep-111/adhs_2018
souradeep-111/compiler_construction_fall_17
A poor man's version of a python to x86 compiler
souradeep-111/sherlock_2
souradeep-111/Sherlock_2_Simple
Sherlock without rule inference and other fancy stuff
souradeep-111/verification_guided_training
The code here implements verification guided training scheme for neural network plant models. The verification scheme uses SHERLOCK to implement range propagation idea, and Tensorflow to train the Neural Network.
souradeep-111/dlwpt-code
Code for the book Deep Learning with PyTorch by Eli Stevens, Luca Antiga, and Thomas Viehmann.
souradeep-111/haarpsi
The Haar wavelet-based perceptual similarity index (HaarPSI) is a similarity measure for images that aims to correctly assess the perceptual similarity between two images with respect to a human viewer.
souradeep-111/handwritten-digit-recognition
Handwritten digit recognition using neural network trained on 60000 images from MNIST dataset
souradeep-111/progfun-wiki
souradeep-111/reinforcement-learning
Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.
souradeep-111/reinforcement-learning-implementation
Reinforcement Learning examples implementation and explanation
souradeep-111/tensorflow
An Open Source Machine Learning Framework for Everyone