Pinned Repositories
CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
cnfgen
DL4TP
[COLM 2024] A Survey on Deep Learning for Theorem Proving
G4SATBench
[TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Interpretable-Neural-Temporal-Point-Process-Model
This is a course project for Point Process Modeling(CS488).
Mxstar-Compiler
This Compiler is used for translating Mx* language program into x64-nasm code.
NSNet
[NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
RISC-V_CPU
This is a FPGA supported RISC-V CPU with 5-stage pipeline and 2-way set associative cache implemented in Verilog HDL.
RL-for-Autonomous-Driving
This is a course project for Reinforcement Learning(CS492).
satbenchmark
zhaoyu-li's Repositories
zhaoyu-li/DL4TP
[COLM 2024] A Survey on Deep Learning for Theorem Proving
zhaoyu-li/G4SATBench
[TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
zhaoyu-li/NSNet
[NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"
zhaoyu-li/RISC-V_CPU
This is a FPGA supported RISC-V CPU with 5-stage pipeline and 2-way set associative cache implemented in Verilog HDL.
zhaoyu-li/Interpretable-Neural-Temporal-Point-Process-Model
This is a course project for Point Process Modeling(CS488).
zhaoyu-li/Mxstar-Compiler
This Compiler is used for translating Mx* language program into x64-nasm code.
zhaoyu-li/RL-for-Autonomous-Driving
This is a course project for Reinforcement Learning(CS492).
zhaoyu-li/satbenchmark
zhaoyu-li/cnfgen
zhaoyu-li/SATBench
zhaoyu-li/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
zhaoyu-li/CS229_Project
This is a course project for Nature Language Process(CS229).
zhaoyu-li/MIPS_Simulator
This Simulator is used for execute the source code of Mips by simulating the CPU with C++ program.
zhaoyu-li/CS488_Assignment
This is a course assignment for Point Process Modeling(CS488).
zhaoyu-li/kmeans_pytorch
kmeans using PyTorch
zhaoyu-li/MeqNet
zhaoyu-li/MS326_Assignment
A course assignment for Deep Learning(MS326).
zhaoyu-li/Pintos
Pintos is a teaching operating system for x86.
zhaoyu-li/Raft
zhaoyu-li/software-foundations
solutions for software foundations textbook problems