Pinned Repositories
mech-type-theories
Mechanizations of Type Theories
agda-mode-vscode
agda-mode on VS Code
binding_technique_exp
fp_course
h-baselines
A repository of high-performing hierarchical reinforcement learning models and algorithms.
LAMDA-Beamer-Template
A beamer template for LAMDA lab at NJU
mbpo_pytorch
NbE_SystemT
slbo_pytorch
worklist_intersection_union
jiangsy's Repositories
jiangsy/mbpo_pytorch
jiangsy/LAMDA-Beamer-Template
A beamer template for LAMDA lab at NJU
jiangsy/slbo_pytorch
jiangsy/binding_technique_exp
jiangsy/NbE_SystemT
jiangsy/fp_course
jiangsy/h-baselines
A repository of high-performing hierarchical reinforcement learning models and algorithms.
jiangsy/mbpo-tf
Code for the paper "When to Trust Your Model: Model-Based Policy Optimization"
jiangsy/oplss_22
jiangsy/pdf2pptx
Convert your (Beamer) PDF slides to (Powerpoint) PPTX
jiangsy/agda-mode-vscode
agda-mode on VS Code
jiangsy/worklist_intersection_union
jiangsy/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
jiangsy/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
jiangsy/CornellCSWiki
Student-run wiki for students interested in computer science at Cornell University
jiangsy/cs-video-courses
List of Computer Science courses with video lectures.
jiangsy/dependent-polymorphic-subtyping
Formalization for Dependent Polymorphic Subtyping, from a sub-directory of my main working repository
jiangsy/ElementaryTypeInference
ECOOP 2022 Elementary Type Inference
jiangsy/FinRL-Library
A Deep Reinforcement Learning Library for Automated Trading in Quantitative Finance. NeurIPS 2020. Please star. 🔥
jiangsy/games101
jiangsy/GAMES101-HW
Homework repo. for GAMES-101: https://sites.cs.ucsb.edu/~lingqi/teaching/games101.html
jiangsy/GraphGym
Platform for designing and evaluating Graph Neural Networks (GNN)
jiangsy/mech-type-theories
Mechanizations of Type Theories
jiangsy/mj_envs
A collection of MuJoCo based environments.
jiangsy/mjrl
Reinforcement learning algorithms for MuJoCo tasks
jiangsy/robel
ROBEL: Robotics Benchmarks for Learning with low-cost robots
jiangsy/tfdiffeq
Tensorflow implementation of Ordinary Differential Equation Solvers with full GPU support
jiangsy/tilogics
Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.
jiangsy/torchsde
Differentiable SDE solvers with GPU support and efficient sensitivity analysis.
jiangsy/torchtyping
Runtime type annotations for the shape, dtype etc. of PyTorch Tensors.