Hugging Face
Models
Datasets
Spaces
Community
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
JC-Chen
authored
a paper
30 days ago
Advancing Multimodal Reasoning: From Optimized Cold Start to Staged Reinforcement Learning
JC-Chen
authored
a paper
about 1 month ago
The Entropy Mechanism of Reinforcement Learning for Reasoning Language Models
kaiyuy
authored
a paper
about 2 years ago
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
View all activity
Team members
2
models
0
None public yet
datasets
0
None public yet