Zikang Xiong's repositories
grammarly
Unofficial Grammarly VS Code Extension
docker-template-for-paper-replication
Template for packing a dependency-free and reusable code repository.
csaf
Control Systems Analysis Framework
gym
A toolkit for developing and comparing reinforcement learning algorithms.
bullet3
Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
rl-baselines3-zoo
A collection of pre-trained RL agents using Stable Baselines3, training and hyperparameter optimization included.
safety-starter-agents
Basic constrained RL agents used in experiments for the "Benchmarking Safe Exploration in Deep Reinforcement Learning" paper.
gym-minigrid
Minimalistic gridworld package for OpenAI Gym
mcts
An implementation of Monte Carlo Tree Search in python
h-baselines
A repository of high-performing hierarchical reinforcement learning models and algorithms.
PyTorch-VAE
A Collection of Variational Autoencoders (VAE) in PyTorch.
Hierarchical-Actor-Critic-HAC-PyTorch
PyTorch implementation of Hierarchical Actor Critic (HAC) for OpenAI gym environments
cpo
Constrained Policy Optimization
VectorNet
Pytorch implementation of CVPR2020 paper “VectorNet: Encoding HD Maps and Agent Dynamics from Vectorized Representation”
DiffAbs
Differentiable abstract domain implementations for neural network reasoning on PyTorch
rl-baselines-zoo
A collection of 100+ pre-trained RL agents using Stable Baselines, training and hyperparameter optimization included.
neural-backed-decision-trees
Making decision trees competitive with neural networks on CIFAR10, CIFAR100, TinyImagenet200, Imagenet
spectrl_tool
Learning algorithm implementation and experiments in the paper "A Composable Specification Language for Reinforcement Learning Tasks" (https://arxiv.org/abs/2008.09293).
NSCL-PyTorch-Release
PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).
safe_learning
Safe reinforcement learning with stability guarantees
VRL_CodeReview
[PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
pybullet_robots
Prototyping robots for PyBullet (F1/10 MIT Racecar, Sawyer, Baxter and Dobot arm, Boston Dynamics Atlas and Botlab environment)
ns-vqa
Neural-symbolic visual question answering
visualize_atari
Code for our paper "Visualizing and Understanding Atari Agents" (https://goo.gl/AMAoSc)
MPC
Contains simple MPC implementation with neural network learned dynamics.
DARQN
Deep Attention Recurrent Q-Network