nskh
now: phd student @michiganrobotics // before: research @uber-atg, simulation @ ike, @flow-project, berkeley eecs '18
San Francisco, CA
Pinned Repositories
ai-deadlines
:alarm_clock: AI conference deadline countdowns
automatic-safety-proofs
barc
Main branch for BARC related code
blog
CoCoCAS
eecs-563-final-project
Matlab code for disturbance recovery verification project
flow
Computational framework for reinforcement learning in traffic control
grads
paper on gradient accuracy in rl algorithms
llm-theorem-proving
safe-training
Experiments in safe training
nskh's Repositories
nskh/llm-theorem-proving
nskh/safe-training
Experiments in safe training
nskh/ai-deadlines
:alarm_clock: AI conference deadline countdowns
nskh/automatic-safety-proofs
nskh/barc
Main branch for BARC related code
nskh/blog
nskh/CoCoCAS
nskh/eecs-563-final-project
Matlab code for disturbance recovery verification project
nskh/flow
Computational framework for reinforcement learning in traffic control
nskh/grads
paper on gradient accuracy in rl algorithms
nskh/HorizontalCAS
nskh/mhacks6
nskh/new_site
new data 8 site
nskh/nskh.github.io
nskh/nytcrosswordbot
nskh/ohmyzsh
🙃 A delightful community-driven (with 1700+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
nskh/ray
A high-performance distributed execution engine
nskh/rllab
rllab is a framework for developing and evaluating reinforcement learning algorithms, fully compatible with OpenAI Gym.
nskh/teleop_twist_keyboard
Generic Keyboard Teleop for ROS
nskh/tensorflow
Computation using data flow graphs for scalable machine learning
nskh/VerticalCAS