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

관심 주제로 찾아보기
HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.
HyperTree Proof Search for Neural Theorem Proving
그래프의 숫자는 같아도 위치·길이·각도·넓이 가운데 어떤 시각 과제를 요구하느냐에 따라 판독 정확도가 달라집니다.
Graphical Perception: Theory, Experimentation, and Application to the Development of Graphical Methods
대학생 실험에서 자료를 보지 않고 회상하는 인출 연습은 정교화 개념지도보다 일주일 뒤 이해·추론 검사에서 높았다.
Retrieval Practice Produces More Learning than Elaborative Studying with Concept Mapping
Butler의 네 실험은 피드백을 동반한 반복 회상이 반복 공부보다 새 추론 질문으로의 전이를 높일 수 있음을 보였지만 과제와 표본의 범위가 제한됩니다.
Repeated Testing Produces Superior Transfer of Learning Relative to Repeated Studying
편향 맹점 연구는 편향을 자신보다 타인에게 더 강하게 보는 비대칭을 보고합니다.
The Bias Blind Spot: Perceptions of Bias in Self Versus Others
71–75 / 111편