통합검색

이미 기다린 시간이 길수록 더 기다려야 할까?

쥐·생쥐·사람의 병렬 과제는 이미 투자한 시간이 이후 포기 결정에 어떤 영향을 주는지 비교했습니다.

Sensitivity to “sunk costs” in mice, rats, and humans

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOList는 HOL Light의 수학 말뭉치를 기계학습 환경과 벤치마크로 공개해 증명 모델을 같은 조건에서 훈련·재생·검증하도록 했습니다.

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

시각화가 틀리면 어느 단계부터 다시 봐야 할까?

Munzner의 중첩 모형은 시각화의 네 설계 층을 나누고, 위층의 오해가 아래층의 정교한 구현까지 연쇄적으로 무효화할 수 있음을 보입니다.

A Nested Model for Visualization Design and Validation

벤 그림과 오일러 그림은 무엇을 다르게 남길까?

같은 집합 관계를 가능한 구역을 모두 남기는 벤 방식과 성립하는 관계만 배치하는 오일러 방식으로 바꾸어 읽습니다.

한 연구의 결과는 누구에게까지 적용할 수 있을까?

한 도시의 성인 80명에게서 본 6점 차이를 사람·장소·시간 축으로 어디까지 넓힐 수 있는지 따집니다.