LeanDojo

AI & ML interests

None defined yet.

Recent Activity

JC-Chen  authored a paper about 2 months ago

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

JC-Chen  authored a paper about 2 months ago

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

JC-Chen  authored a paper about 2 months ago

InternBootcamp Technical Report: Boosting LLM Reasoning with Verifiable Task Scaling

View all activity

Team members 2