huanzhang12 Goto Github PK
Name: Huan Zhang
Type: User
Company: University of Illinois
Bio: Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)
Location: Urbana-Champaign
Name: Huan Zhang
Type: User
Company: University of Illinois
Bio: Assistant Professor at UIUC. Team lead of the award-wining neural network verifier, α,β-CROWN (alpha-beta-CROWN)
Location: Urbana-Champaign
Robustness vs Accuracy Survey on ImageNet
Repo for VNN-COMP submission only. For other purposes please use the latest verifier at https://abcrown.org
Robust Reinforcement Learning with the Alternating Training of Learned Adversaries (ATLA) framework
Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://github.com/Verified-Intelligence/auto_LiRPA instead)
CLEVER (Cross-Lipschitz Extreme Value for nEtwork Robustness) is a robustness metric for deep neural networks
A C++ GPU Computing Library for OpenCL
Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).
CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://github.com/Verified-Intelligence/auto_LiRPA instead)
The official repo for GCP-CROWN paper
HogWild++: A New Mechanism for Decentralized Asynchronous Stochastic Gradient Descent
GPU accelerated version of the HotSpot simulator, a popular temperature modeling tool
Show-and-Fool: Adversarial Examples for Image Captioning task
Library to manipulate tensors on the GPU.
LightGBM GPU staging/merging tree
Development Repository for GPU-accelerated GBDT training
Intel Xeon Phi MPSS Modules for Linux 4.2.0
Fixing convergence problems in Parallel ASynchronous Stochastic dual Co-ordinate Descent (PASSCoDe)
Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms) [Do not use this repo, use https://github.com/Verified-Intelligence/auto_LiRPA instead]
[NeurIPS 2020 Spotlight] State-adversarial DDPG for robust deep reinforcement learning
[NeurIPS 2020 Spotlight] State-adversarial PPO for robust deep reinforcement learning
Fast Approximate Orthogonal Tensor Decomposition Based on Importance Sampling
Pretrained TensorFlow protobuf for AlexNet model
Pretrained Frozen Densenet Protobuf for TensorFlow
Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It can use GPUs and perform efficient symbolic differentiation.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.