zhaoyu-li

zhaoyu-li's Stars

• google-deepmind/alphageometry

  Language:Python4.2k54129475

• Thinklab-SJTU/ThinkMatch

  A research protocol for deep graph matching.

  Language:Python8452070120

• lean-dojo/LeanDojo

  Tool for data extraction and interacting with Lean programmatically.

  Language:Python587146695

• zdhNarsil/Awesome-GFlowNets

  A curated list of resources about generative flow networks (GFlowNets).

  42332126

• princeton-vl/CoqGym

  A Learning Environment for Theorem Proving with the Coq proof assistant

  Language:Coq388153150

• uiuc-focal-lab/syncode

  Efficient and general syntactical decoding for Large Language Models

  Language:Python20742716

• ejgallego/coq-lsp

  Visual Studio Code Extension and Language Server Protocol for Coq

  Language:OCaml153625935

• zhaoyu-li/DL4TP

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

  1417010

• binghong-ml/retro_star

  Retro*: Learning Retrosynthetic Planning with Neural Guided A* Search

  Language:Jupyter Notebook13552332

• allanj/repo-level-codegen-papers

  Repo-Level Code generation papers

  103504

• appl-team/appl

  🍎APPL: A Prompt Programming Language. Seamlessly integrate LLMs with programs.

  Language:Python82600

• loganrjmurphy/LeanEuclid

  LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

  Language:Lean79715

• trishullab/PutnamBench

  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

  Language:Lean6741610

• zhaoyu-li/G4SATBench

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

  Language:Python33135

• zhaoyu-li/NSNet

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

  Language:Python18133

• FormalGeo/FormalGeo

  Formal representation and solving for Euclidean plane geometry problems.

  Language:Python16140

• Lizn-zn/Nesy-Programming

  Language:Python7213