bobowang2333's starred repositories
zero-knowledge-puzzles
Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.
python-small-examples
告别枯燥，致力于打造 Python 实用小例子，更多Python良心教程见 https://ai-jupyter.com
pagedownCV
Templates for generating a CV with R Markdown + entries in a spreadsheet
DeepFaceLab
DeepFaceLab is the leading software for creating deepfakes.
GandRL_for_NPS
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
awesome-neural-programming
A curated list of awesome neural programming resources
neural-symbolic-machines
Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
pldi19-equivalence-checker
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
compas-analysis
Data and analysis for 'Machine Bias'
DecisionTree.jl
Julia implementation of Decision Tree (CART) and Random Forest algorithms
VRL_CodeReview
[PLDI 19'] An Inductive Synthesis Framework for Verifiable Reinforcement Learning
ReluDiff-ICSE2020-Artifact
Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"
benchmarks
Benchmarks for SyGuS Competition (SyGuS-Comp)
sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
jena-sparql-api
A collection of Jena-extensions for hiding SPARQL-complexity from the application layer