Pinned Repositories
awesome-machine-learning-on-source-code
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
awesome-program
A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic reinforcement learning.
CLRS
📚 Solutions to Introduction to Algorithms Third Edition
Constraints-Solving
Paper list of Constraint Solving
datasets
source{d} datasets ("big code") for source code analysis and machine learning on source code
GandRL_for_NPS
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
MDP_Agent
This repository is the coursework of model AIN when I studied at King's College London from 2019 to 2020
mineSStuBs
Hosts our tool for mining simple "stupid'' bugs (SStuBs).
symbolic-execution-papers
Recent symbolic execution papers and tools.
PythonMaple
BingzheZhou's Repositories
BingzheZhou/awesome-machine-learning-on-source-code
Cool links & research papers related to Machine Learning applied to source code (MLonCode)
BingzheZhou/awesome-program
A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic reinforcement learning.
BingzheZhou/CLRS
📚 Solutions to Introduction to Algorithms Third Edition
BingzheZhou/Constraints-Solving
Paper list of Constraint Solving
BingzheZhou/datasets
source{d} datasets ("big code") for source code analysis and machine learning on source code
BingzheZhou/GandRL_for_NPS
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
BingzheZhou/MDP_Agent
This repository is the coursework of model AIN when I studied at King's College London from 2019 to 2020
BingzheZhou/mineSStuBs
Hosts our tool for mining simple "stupid'' bugs (SStuBs).
BingzheZhou/symbolic-execution-papers
Recent symbolic execution papers and tools.