Shengyi Jiang

Expert
@jiangsy

mbpo_pytorch. Python

30

LAMDA-Beamer-Template. A beamer template for LAMDA lab at NJU

16

slbo_pytorch. Python

15

binding_technique_exp. Coq

5

NbE_demo. Rocq Prover

2

worklist_intersection_union. Coq

2

mbbl. Python

1

coq-dpdgraph. Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

1

fp_course. Coq

1

h-baselines. A repository of high-performing hierarchical reinforcement learning models and algorithms.

1

causal-infogan. Python

1

oplss_22. Haskell

1

agda-mode-vscode. agda-mode on VS Code

1

CornellCSWiki. Student-run wiki for students interested in computer science at Cornell University

1

mbpo-tf. Code for the paper "When to Trust Your Model: Model-Based Policy Optimization"

1

pdf2pptx. Convert your (Beamer) PDF slides to (Powerpoint) PPTX

1

CoqGym. A Learning Environment for Theorem Proving with the Coq proof assistant

1

Apollo-11. Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

1

bert. TensorFlow code and pre-trained models for BERT

1

SoftwareFoundation. Coq

1

CFL3D. Fortran

1

awesome-deep-rl. This project is for learning and researching on Deep RL. Maintained by University AI researchers.

1
22
Apply