연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
Cosmides의 1989년 일련의 Wason 선택과제 실험은 사회적 교환 맥락에서 부정행위자를 찾는 선택이 촉진됨을 보고했지만, 그 원인 해석에는 논쟁이 남습니다.
The Logic of Social Exchange: Has Natural Selection Shaped How Humans Reason? Studies With the Wason Selection Task
Neural Theorem Prover는 정확한 기호 일치 대신 임베딩 유사도로 부드럽게 통일해 규칙과 경로를 학습합니다.
End-to-End Differentiable Proving
Ineq-Comp v2를 바탕으로 익숙한 부등식의 변수 복제·대수 재작성·다단계 합성이 현재 Lean 증명 모델의 구성적 일반화를 크게 흔드는지 살펴봅니다.
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
스트루프의 원논문은 글자 읽기와 색 이름 말하기의 간섭을 서로 다르게 비교했습니다. 익숙한 반응이 현재 과제에 끼어드는 장면을 살펴봅니다.
Studies of Interference in Serial Verbal Reactions
세 모둠이 각각 일관된 순위를 냈는데도 둘씩 비교하면 A가 B를, B가 C를, C가 A를 2대 1로 이기는 순환을 확인합니다.
131–135 / 203편
