연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
세 연구의 대상·비교 활동·검사 시점·결과 유형을 골라 포함 연구와 허용되는 해석을 바꾸고, 서로 다른 설계를 한 수치로 섞지 않는다.
Test-Enhanced Learning: Taking Memory Tests Improves Long-Term Retention
대규모 언어모델의 자동 형식화는 일부 문제를 완전한 Isabelle 명세로 바꾸고 증명 학습을 개선했지만 번역 검증이 병목입니다.
Autoformalization with Large Language Models
정보 누출은 학습·평가 파일을 분리하는 것만으로 모두 막히지 않습니다. 자료를 가공하고 모형을 선택하는 전체 과정에서 경계를 지켜야 합니다.
Leakage and the Reproducibility Crisis in ML-based Science
2026년 연구는 학습 목표와 무관한 흥미 자료의 양을 바꾸고 끼어드는 위치를 관리했습니다. 기억과 전이 결과를 구분해 자료를 편집하는 기준을 살펴봅니다.
The more, the worse? The influence of the seductive detail amount on learning
Goedel-Prover는 Lean 4 명제와 새 증명을 반복해 학습자료로 늘렸습니다.
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
1–5 / 7편
