통합검색

유의한 결과가 나오면 그 가설은 거의 참일까?

사전 가능성, 검정력과 거짓 양성률이 양성 결과의 믿을 만함을 어떻게 함께 결정하는지 기대 빈도로 계산합니다.

Why Most Published Research Findings Are False

같은 연구를 다시 하면 결과는 얼마나 돌아올까?

대규모 심리학 재현 프로젝트는 유의성 하나가 아니라 효과 크기·신뢰구간·주관 평가를 함께 봐야 함을 보여 줍니다.

Estimating the reproducibility of psychological science

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

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

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

같은 문장인데 토큰 수는 왜 다를까?

‘올빼미는 논리를 배운다’를 서로 다른 조각 목록으로 나눕니다. 글자·단어·토큰을 구분하고, 개수가 달라져도 그대로 남는 정보를 찾습니다.

AI 내부 특징에 붙인 이름은 어떻게 검증할까?

활성이 큰 예시 몇 개로 만든 이름을 더 넓은 구간과 미공개 문장에 대어 보며 관찰과 해석을 구분합니다.