Kaiyu Yang's repositories
smt-portfolio
A simple wrapper to run multiple SMT solvers in parallel
llm_assisted_mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
ml4tp-tutorial
NeurIPS 2023 Tutorial on Machine Learning for Theorem Proving
yangky11.github.io
https://yangky11.github.io/
aesop
White-box automation for Lean 4
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
awesome-github-profile-readme
😎 A curated list of awesome GitHub Profile READMEs 📝
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
lake
Lean 4 build system and package manager with configuration files written in Lean.
lean-smt
Tactics for discharging Lean goals into SMT solvers.
MathAgent
Code repo for MathAgent
mathlib4
The math library of Lean 4
miniF2F
An updated version of miniF2F with lots of fixes and informal statements / solutions.
NLP-progress
Repository to track the progress in Natural Language Processing (NLP), including the datasets and the current state-of-the-art for the most common NLP tasks.
ProofNet
Benchmark for undergraduate-level formal mathematics
SciGLM
SciGLM: Training Scientific Language Models with Self-Reflective Instruction Annotation and Tuning
template-thes-pu
Princeton University Ph.D. Dissertation Template
tutorials
Some Lean tutorials