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