LLM 피드백 증류로 Lean 정리 증명 자동화 성능 개선 작성: STORIUM 편집부 2026년 06월 02일 11시 37분 0 LLM의 특권적 피드백을 토큰 단위로 자기 증류해 Lean4 정리 증명 추론 성능을 높이는 방법이 arXiv에 공개됐다. GRPO보다 경로 다양성과 pass@k ...
