Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
LeanDojo
community
https://leandojo.org/
KaiyuYang4
yangky11
Activity Feed
Follow
2
AI & ML interests
None defined yet.
Recent Activity
kaiyuy
authored
a paper
over 1 year ago
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
View all activity
Team members
2
models
None public yet
datasets
None public yet
