Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Neural Symbolic Machines | 346 | 2 years ago | 4 | apache-2.0 | Python | |||||
Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing. | ||||||||||
Program Synthesis Rl Tensorflow | 64 | 6 years ago | Python | |||||||
in progress | ||||||||||
Drills | 39 | 3 years ago | 1 | bsd-3-clause | Python | |||||
DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20) | ||||||||||
Gym Forest | 21 | 5 years ago | apache-2.0 | Python | ||||||
Reinforcement learning environment for the classical synthesis of quantum programs. | ||||||||||
Gandrl_for_nps | 16 | 6 years ago | Python | |||||||
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis | ||||||||||
Csrl | 13 | 3 years ago | apache-2.0 | Jupyter Notebook | ||||||
Control Synthesis from Linear Temporal Logic Specifications using Model-Free Reinforcement Learning | ||||||||||
Code_synthesis | 9 | 5 years ago | 1 | Python | ||||||
Code synthesis with Reinforcement learning | ||||||||||
Papers | 7 | 4 months ago | TeX | |||||||
Summaries of papers read, starting from early 2020 |