zhaoyu-li Goto Github PK

cnfgen

coqgym

A Learning Environment for Theorem Proving with the Coq proof assistant

cs229_project

This is a course project for Nature Language Process(CS229).

cs488_assignment

This is a course assignment for Point Process Modeling(CS488).

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).

kmeans_pytorch

kmeans using PyTorch

meqnet

mips_simulator

This Simulator is used for execute the source code of Mips by simulating the CPU with C++ program.

ms326_assignment

A course assignment for Deep Learning(MS326).

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"

pintos

Pintos is a teaching operating system for x86.

raft

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).

satbench

satbenchmark

software-foundations

solutions for software foundations textbook problems