souradeep-111 Goto Github PK

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.

progfun-wiki

reinforcement-learning

Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.

reinforcement-learning-implementation

Reinforcement Learning examples implementation and explanation

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

tensorflow

An Open Source Machine Learning Framework for Everyone

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.