수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?
Llemma는 수학·과학·형식 코드로 계속 사전학습해 여러 과제에서 강한 성능을 보였지만 정답성과 기계검증은 구분됩니다.
Llemma: An Open Language Model for Mathematics
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
Llemma는 수학·과학·형식 코드로 계속 사전학습해 여러 과제에서 강한 성능을 보였지만 정답성과 기계검증은 구분됩니다.
Llemma: An Open Language Model for Mathematics
대규모 시각화 기억 연구는 독특함과 색·사람 모양의 기억 효과를 보였지만 이해 정확성과는 구분해야 합니다.
What Makes a Visualization Memorable?
모바일 산점도 비교 실험은 속도·정확도·확신이 같은 방향으로 움직이지 않을 수 있음을 보여 줍니다. 대상의 경로와 과제에 맞춰 화면을 선택해야 합니다.
A Comparative Evaluation of Animation and Small Multiples for Trend Visualization on Mobile Phones
스탠퍼드 철학백과의 부정 항목을 바탕으로 논리적 부정, 자연언어의 부정, 거부 행위를 구별하고 ‘참이 아니다’와 ‘반대편이 참이다’ 사이의 간격을 살펴봅니다.
Negation
무작위로 물건을 받은 판매자는 구매자보다 높은 값을 요구했고, 소유권의 기준점 효과가 반복 거래에서도 관찰됐습니다.
Experimental Tests of the Endowment Effect and the Coase Theorem
41–45 / 64편