Distilling LLM Feedback for Lean Theorem Proving 文章

ArXiv CS.AI2026-06-01NEWSen作者: Gaetan Narozniak, G\'erard Biau, R\'emi Munos, Ahmad Rammal, Pierre Marion
查看原文 →
关系图谱

Distilling LLM Feedback for Lean Theorem Proving · 相关技术

相关技术

LeanFeedback DistillationGRPO