코난쌤 블로그
Search
검색
다크 모드
라이트 모드
탐색기
홈
전체 글
카테고리
소개
연락처
개인정보처리방침
태그: math
1건의 항목
2026년 9월 12일
Magenta: Lean 검증을 수학 추론 루프 안에 넣어 7B 모델로 IMO 6문제를 전부 푼 방법 (arXiv 2609.11319)
paper
llm
agents
lean
verification
math
magenta