Pinned Loading

1. DL4TP DL4TP Public

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

   121 7

2. G4SATBench G4SATBench Public

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

   Python 29 6

3. NSNet NSNet Public

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

   Python 18 3

4. princeton-vl/CoqGym princeton-vl/CoqGym Public

   A Learning Environment for Theorem Proving with the Coq proof assistant

   Coq 382 50

5. RISC-V_CPU RISC-V_CPU Public

   This is a FPGA supported RISC-V CPU with 5-stage pipeline and 2-way set associative cache implemented in Verilog HDL.

   Verilog 5 2

6. Interpretable-Neural-Temporal-Point-Process-Model Interpretable-Neural-Temporal-Point-Process-Model Public

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

   Python 3