arxiv:2605.30861
N
Gaetan10
AI & ML interests
None yet
Recent Activity
authored a paper about 8 hours ago
Distilling LLM Feedback for Lean Theorem Proving commentedon a paper 27 days ago
Embarrassingly Simple Self-Distillation Improves Code Generation upvoted a paper about 2 months ago
Efficient RL Training for LLMs with Experience ReplayOrganizations
None yet