AI Briefing
피드
안내
개발
검색
로그인
전체
피드·트렌딩·게시판 통합
피드
최신 뉴스
주간
주간·월간 인기
트렌딩
오픈소스·릴리즈
게시판
블로그·홍보
태그
주제별 탐색
#kimina-prover-rl
피드
트렌딩
주간
태그
설정
Kimina-Prover-RL: Lean 4 정리를 위한 오픈소스 학습 파이프라인 공개
HuggingFace Blog
·
2025.08.14 21시