Peiyang-Song
CS Undergrad @ Caltech. AI Researcher @ Stanford.
California Institute of TechnologyPasadena, CA, United States of America
Peiyang-Song's Stars
lutzroeder/netron
Visualizer for neural network, deep learning and machine learning models
vllm-project/vllm
A high-throughput and memory-efficient inference and serving engine for LLMs
Vision-CAIR/MiniGPT-4
Open-sourced codes for MiniGPT-4 and MiniGPT-v2 (https://minigpt-4.github.io, https://minigpt-v2.github.io/)
abhisheknaiidu/awesome-github-profile-readme
😎 A curated list of awesome GitHub Profile which updates in real time
Z3Prover/z3
The Z3 Theorem Prover
salesforce/CodeGen
CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.
dkozlov/awesome-knowledge-distillation
Awesome Knowledge Distillation
bigcode-project/starcoder2
Home of StarCoder2!
ocaml/dune
A composable build system for OCaml.
AberHu/Knowledge-Distillation-Zoo
Pytorch implementation of various Knowledge Distillation (KD) methods.
cvc5/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
tree-sitter/py-tree-sitter
Python bindings to the Tree-sitter parsing library
bigcode-project/bigcode-evaluation-harness
A framework for the evaluation of autoregressive code generation language models.
xlang-ai/DS-1000
[ICML 2023] Data and code release for the paper "DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation".
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
allenai/wimbd
What's In My Big Data (WIMBD) - a toolkit for analyzing large text datasets
tree-sitter/tree-sitter-java
Java grammar for tree-sitter
AlexKontorovich/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
zhaoyu-li/DL4TP
[COLM 2024] A Survey on Deep Learning for Theorem Proving
rust-lang/rust-repos
Dataset of Rust source code repositories
ml4tp/gamepad
A Learning Environment for Theorem Proving
loganrjmurphy/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
evo-eval/evoeval
EvoEval: Evolving Coding Benchmarks via LLM
albertqjiang/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
leanprover-community/lean-client-python
Python talking to the Lean theorem prover
albertqjiang/INT
Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
jasonrute/lean_proof_recording
Proof recording for Lean 3
leanprover/lean-action
GitHub action for standard CI in Lean projects
Peiyang-Song/LLM-A-Not-B-Errors
Official repository for paper "In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models"
Robertboy18/LeanCopilot-RAG
LLMs as Copilots for Theorem Proving in Lean