[태그:] LLM피드백

LLM의 특권적 피드백을 토큰 단위로 자기 증류해 Lean4 정리 증명 추론 성능을 높이는 방법이 arXiv에 공개됐다. GRPO보다 경로 다양성과 pass@k ...