AI Briefing
피드
안내
개발
검색
로그인
전체
피드·트렌딩·게시판 통합
피드
최신 뉴스
주간
주간·월간 인기
트렌딩
오픈소스·릴리즈
게시판
블로그·홍보
태그
주제별 탐색
#lean-4
피드
트렌딩
주간
태그
설정
추천
Leanstral 1.5: 모두를 위한 증명 풍요
Hacker News
·
2
·
2026.07.04 07시
Leanstral 1.5
Hacker News
·
2026.07.01 05시
Lean 4 통계적 학습 이론 라이브러리
Reddit
·
2026.05.09 00시
Kimina-Prover-RL: Lean 4 정리를 위한 오픈소스 학습 파이프라인 공개
HuggingFace Blog
·
2025.08.14 21시
정리 증명 SOTA 모델 Kimina-Prover 공개
HuggingFace Blog
·
2025.07.10 21시