Peiyang-Song
CS Undergrad @ Caltech. AI Researcher @ Stanford.
California Institute of TechnologyPasadena, CA, United States of America
Pinned Repositories
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
LeanDojoWebsite
Code for LeanDojo's website
ReProver
Retrieval-Augmented Theorem Provers for Lean
aesop
White-box automation for Lean 4
cargo-example
A minimal cargo example
DuperDemo
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"
llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
DL4TP
[COLM 2024] A Survey on Deep Learning for Theorem Proving
Peiyang-Song's Repositories
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"
Peiyang-Song/aesop
White-box automation for Lean 4
Peiyang-Song/cargo-example
A minimal cargo example
Peiyang-Song/DuperDemo
Peiyang-Song/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
Peiyang-Song/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Peiyang-Song/Peiyang-Song
Config files for my GitHub profile.
Peiyang-Song/Peiyang-Song-CV
Source for Peiyang Song's CV
Peiyang-Song/peiyang-song.github.io
Peiyang Song's academic webpage