hao-zi Goto Github PK

neurocore-public

NeuroCore: Guiding CDCL with Unsat-Core Predictions

neurocuber

NeuroCuber: training NeuroSAT to make cubing decisions for hard SAT problems

neurosat

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

nlocalsat

NLocalSAT; Boosting Local Search with Solution Prediction

nlp-library

curated collection of papers for the nlp practitioner 📖👩‍🔬

nlp-roadmap

ROADMAP(Mind Map) and KEYWORD for students those who have interest in learning NLP

ofdm_rician_simulation_for_deeplearning

莱斯信道下的OFDM仿真，进行发送数据帧的存储，存储为深度学习中训练模型的训练集、测试集、验证集

oklibrary

A research platform and active library for generalised SAT solving

opentpu

A open source reimplementation of Google's Tensor Processing Unit (TPU).

paper-reading

Paper reading list in natural language processing, including dialogue system, text summarization, topic modeling, etc.

paper-with-code-of-wireless-communication-based-on-dl

无线与深度学习结合的论文代码整理/Paper-with-Code-of-Wireless-communication-Based-on-DL

papers

research papers

passgan

A Deep Learning Approach for Password Guessing (https://arxiv.org/abs/1709.00440)

pdp-solver

PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers

plmpapers

Must-read Papers on pre-trained language models.

plotneuralnet

Latex code for making neural networks diagrams

preserve-cd

Game Preservation Project

really-awesome-gan

A list of papers on Generative Adversarial (Neural) Networks

reinforcement_learning_tutorial_with_demo

Reinforcement Learning Tutorial with Demo: DP (Policy and Value Iteration), Monte Carlo, TD Learning (SARSA, QLearning), Function Approximation, Policy Gradient, DQN, Imitation, Meta Learning, Papers, Courses, etc..

rfmls-neu

rl-book

Source codes for the book "Reinforcement Learning: Theory and Python Implementation"

sacnn

reimplement of https://github.com/miao0913/SaCNN-CrowdCounting-Tencent_Youtu

sacnn-crowdcounting-tencent_youtu

Crowd Counting Via Scale-adaptive Convolutional Neural Network

sat-encoding

Encoding different problems into Boolean satisfiability

scale-sim

sgdlibrary

MATLAB library for stochastic optimization algorithms: Version 1.0.17

sha1-sat

SAT instance generator for SHA-1

simh

The Computer History Simulation Project

simon-speck

The SIMON and SPECK families of lightweight block ciphers. #nsacyber

simon-speck-cryptanalysis

Cryptanalysis code for the SIMON and SPECK families of block ciphers