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

관심 주제로 찾아보기
HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.
HyperTree Proof Search for Neural Theorem Proving
과신 연구는 실제 성과의 과대평가, 타인 대비 과대배치, 믿음 범위의 과도한 정밀성을 구분하며 과제 난도에 따라 앞의 두 편향은 반대로 움직일 수 있음을 보였습니다.
The Trouble with Overconfidence
Fox와 Clemen의 다섯 연구를 바탕으로 같은 사건 공간도 선택지 분할 방식에 따라 각 항목의 주관확률이 균등한 ‘무지 사전분포’ 쪽으로 끌릴 수 있음을 설명합니다.
Subjective Probability Assessment in Decision Analysis: Partition Dependence and Bias Toward the Ignorance Prior
10년간의 Peer Instruction 자료는 개념 질문·개별 응답·동료 토론·재응답의 결합과 성취 향상을 보고하지만 무작위 실험은 아닙니다.
Peer Instruction: Ten Years of Experience and Results
IntHout 등은 Cochrane 메타분석을 검토해 평균이 유의한 경우에도 예측구간이 무효 또는 반대 방향을 포함하는 사례가 많음을 보였습니다.
Plea for Routinely Presenting Prediction Intervals in Meta-Analysis
36–40 / 81편