Zhaoyu Li (李照宇)

DL4TP. [COLM 2024] A Survey on Deep Learning for Theorem Proving

G4SATBench. [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks

NSNet. [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"

PyEuclid. [CAV 2025] PyEuclid: A Versatile Formal Plane Geometry System in Python

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.

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.

RL-for-Autonomous-Driving. This is a course project for Reinforcement Learning(CS492).

satbenchmark. Python

SATBench. Shell

cnfgen. Python