N's picture

N

Gaetan10

AI & ML interests

None yet

Recent Activity

submitted a paper about 1 hour ago

Distilling LLM Feedback for Lean Theorem Proving

authored a paper 2 days ago

Distilling LLM Feedback for Lean Theorem Proving

commentedon a paper 29 days ago

Embarrassingly Simple Self-Distillation Improves Code Generation

View all activity

Organizations

None yet

submitted a paper to Daily Papers about 1 hour ago

Distilling LLM Feedback for Lean Theorem Proving

Paper • 2605.30861 • Published 13 days ago

authored a paper 2 days ago

Distilling LLM Feedback for Lean Theorem Proving

Paper • 2605.30861 • Published 13 days ago

commented a paper 29 days ago

Embarrassingly Simple Self-Distillation Improves Code Generation

Paper • 2604.01193 • Published Apr 1 • 55 •

upvoted a paper about 2 months ago

Efficient RL Training for LLMs with Experience Replay

Paper • 2604.08706 • Published Apr 9 • 22

upvoted a paper 5 months ago

Teaching Models to Teach Themselves: Reasoning at the Edge of Learnability

Paper • 2601.18778 • Published Jan 26 • 43