Yuning30

Pinned Repositories

hazel
Hazel, a live functional programming environment with typed holes
Language:Reason903 15 85855
ReGuS
PLDI'24: Reward-guided Synthesis of Intelligent Agent with Control Structures
Language:Python5 2 02
VEL
TACAS'23: Verification-guided Programmatic Controller Synthesis
Language:C++2 2 01
VELM
CAV'24: Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models
Language:MATLAB1 2 01
AMLWorkshop
Student Materials for MTC Azure ML Workshop
Language:Jupyter Notebook00
Beyond-LeetCode-SQL
Analysis of SQL Leetcode and classic interview questions. Common pitfalls, anti-patterns and handy tricks are discussed. Sample databases are provided.
Language:TSQL0 0 00
CAV21_repeatability_package
Language:MATLAB00
CLRS
:notebook:Solutions to Introduction to Algorithms
Language:C++0 0 00
QuickStart
Language:Swift10
Verification_Guided_Control_Learning
Language:C++1 0 00

Yuning30's Repositories

Yuning30/QuickStart
Language:Swift10
Yuning30/Verification_Guided_Control_Learning
Language:C++1 0 00
Yuning30/AMLWorkshop
Student Materials for MTC Azure ML Workshop
Language:Jupyter Notebook00
Yuning30/Beyond-LeetCode-SQL
Analysis of SQL Leetcode and classic interview questions. Common pitfalls, anti-patterns and handy tricks are discussed. Sample databases are provided.
Language:TSQL0 0 00
Yuning30/CAV21_repeatability_package
Language:MATLAB00
Yuning30/crabs
Code for Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations
Language:Python00
Yuning30/CS-Notes
:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++
Language:Java00
Yuning30/deep-symbolic-optimization
Source code for deep symbolic optimization.
Language:Python0 0 00
Yuning30/dirl
Code for experiments in the paper: "Compositional Reinforcement Learning from Logical Specifications" (https://arxiv.org/abs/2106.13906).
Language:Python00
Yuning30/eecs489
EECS 489: Computer Networks @ the University of Michigan
0 0 00
Yuning30/euphony
Euphony: a probabilistic model-guided program synthesizer
Language:Slash0 0 00
Yuning30/gym-minigrid
Minimalistic gridworld package for OpenAI Gym
Language:Python0 0 00
Yuning30/Gymnasium
An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)
Language:Python
Yuning30/hazel-1
Hazel, a live functional programming environment with typed holes
Yuning30/heartrate
Simple real time visualisation of the execution of a Python program.
Yuning30/LCER
Yuning30/llm-course
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
Yuning30/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.
Language:Python
Yuning30/pfrl
PFRL: a PyTorch-based deep reinforcement learning library
Yuning30/POLAR_Tool
POLAR official tool
Language:Gnuplot
Yuning30/ReachNNStar
Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
Yuning30/ReGuS
PLDI'24: Reward-guided Synthesis of Intelligent Agent with Control Structures
Yuning30/Reimplement-DDRSA
Language:Python1 0
Yuning30/Reimplement-NLProof
Language:Python2 0
Yuning30/RL_verification
Yuning30/spice
Symbolic Preconditions for Constrained Exploration
Language:Python
Yuning30/steer_bot
Simulate a simple Ackermann steering vehicle in Gazebo using ros_control.
Language:CMake
Yuning30/test_an
Language:Java1 0
Yuning30/VEL
TACAS'23: Verification-guided Programmatic Controller Synthesis
Yuning30/VELM
CAV'24: Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models