LeanDojo

AI & ML interests

None defined yet.

Recent Activity

JC-Chen  authored a paper 1 day ago

MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

JC-Chen  authored a paper 7 months ago

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

JC-Chen  authored a paper 7 months ago

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

View all activity

Team members 2