LeanDojo

AI & ML interests

None defined yet.

Recent Activity

JC-Chen  authored a paper 14 days ago

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

JC-Chen  authored a paper 14 days ago

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

JC-Chen  authored a paper 14 days ago

InternBootcamp Technical Report: Boosting LLM Reasoning with Verifiable Task Scaling

View all activity

Team members 2