코난쌤 블로그
Search
검색
다크 모드
라이트 모드
탐색기
홈
전체 글
카테고리
소개
연락처
개인정보처리방침
태그: Lean
1건의 항목
2026년 6월 08일
LEAP: 범용 LLM으로 정형 수학 증명의 최고 수준 달성
AI
LLM
formal-verification
theorem-proving
agent
Lean
mathematics