arxiv:2605.30861
N
Gaetan10
AI & ML interests
None yet
Recent Activity
submitted a paper 5 days ago
Distilling LLM Feedback for Lean Theorem Proving authored a paper 7 days ago
Distilling LLM Feedback for Lean Theorem Proving commentedon a paper about 1 month ago
Embarrassingly Simple Self-Distillation Improves Code GenerationOrganizations
None yet