풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.
HyperTree Proof Search for Neural Theorem Proving
게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.
HyperTree Proof Search for Neural Theorem Proving
과신 연구는 실제 성과의 과대평가, 타인 대비 과대배치, 믿음 범위의 과도한 정밀성을 구분하며 과제 난도에 따라 앞의 두 편향은 반대로 움직일 수 있음을 보였습니다.
The Trouble with Overconfidence
인식적 동료의 반대는 원자료에 관한 증거와 판단 과정에 관한 증거를 구별하게 합니다. 기계적인 중간값보다 먼저 확인할 조건을 알아봅니다.
Disagreement
동료 피드백 효과는 무피드백·자기평가·교사 피드백 중 비교대상에 따라 달랐습니다.
The Impact of Formative Peer Feedback on Higher Education Students’ Academic Writing: a Meta-Analysis
10년간의 Peer Instruction 자료는 개념 질문·개별 응답·동료 토론·재응답의 결합과 성취 향상을 보고하지만 무작위 실험은 아닙니다.
Peer Instruction: Ten Years of Experience and Results
146–150 / 348편