yuning30 Goto Github PK

amlworkshop

Student Materials for MTC Azure ML Workshop

beyond-leetcode-sql

Analysis of SQL Leetcode and classic interview questions. Common pitfalls, anti-patterns and handy tricks are discussed. Sample databases are provided.

cav21_repeatability_package

clrs

:notebook:Solutions to Introduction to Algorithms

crabs

Code for Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations

cs-notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++

deep-symbolic-optimization

Source code for deep symbolic optimization.

dirl

Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).

eecs489

EECS 489: Computer Networks @ the University of Michigan

euphony

Euphony: a probabilistic model-guided program synthesizer

grematerial

gym-minigrid

Minimalistic gridworld package for OpenAI Gym

hazel-1

Hazel, a live functional programming environment with typed holes

heartrate

Simple real time visualisation of the execution of a Python program.

karel

Karel dataset for program synthesis and program induction

llm-course

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

mbppol

This repository has code for the paper "Model-based Safe Deep Reinforcement Learning via a Constrained Proximal Policy Optimization Algorithm" accepted at NeurIPS 2022.

pfrl

PFRL: a PyTorch-based deep reinforcement learning library

polar_tool

POLAR official tool

reachnnstar

Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)

reimplement-ddrsa

reimplement-nlproof

rl_verification

spice

Symbolic Preconditions for Constrained Exploration

steer_bot

Simulate a simple Ackermann steering vehicle in Gazebo using ros_control.

steer_drive_ros

Steer drive package for ROS

test_an

ve280

Programming & Elem. Data Structures

vel

TACAS'23: Verification-guided Programmatic Controller Synthesis

verification_guided_control_learning