LeanDojo

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