LeanDojo

LeanDojo's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

JC-Chen 

authored 5 papers 2 months ago

Symbol: Generating Flexible Black-Box Optimizers through Symbolic Equation Learning

Paper • 2402.02355 • Published Feb 4, 2024

LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generation

Paper • 2403.01131 • Published Mar 2, 2024

InternBootcamp Technical Report: Boosting LLM Reasoning with Verifiable Task Scaling

Paper • 2508.08636 • Published Aug 12, 2025 • 2

HiPhO: How Far Are (M)LLMs from Humans in the Latest High School Physics Olympiad Benchmark?

Paper • 2509.07894 • Published Sep 9, 2025 • 31

P1: Mastering Physics Olympiads with Reinforcement Learning

Paper • 2511.13612 • Published Nov 17, 2025 • 134

JC-Chen 

authored 2 papers 8 months ago

Advancing Multimodal Reasoning: From Optimized Cold Start to Staged Reinforcement Learning

Paper • 2506.04207 • Published Jun 4, 2025 • 48

The Entropy Mechanism of Reinforcement Learning for Reasoning Language Models

Paper • 2505.22617 • Published May 28, 2025 • 131

kaiyuy 

authored a paper over 2 years ago

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Paper • 2306.15626 • Published Jun 27, 2023 • 17