통합검색

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

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

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

공개 발표 뒤에는 왜 ‘서로 알고 있다는 사실’까지 공유될까?

발표 전: A 또는 B → 공개 발표: A는 아니다 → 발표 후: B만 남음 → 서로가 들었음도 공유를 비교하는 LTCT 교육용 도식