통합검색

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

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

Why Most Published Research Findings Are False

증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?

GamePad는 Coq 증명을 목표·맥락·전술·하위 목표의 상태 전이로 노출해 AI가 남은 거리와 다음 전술을 학습하도록 했습니다.

GamePad: A Learning Environment for Theorem Proving

AI가 대상을 보지 않고 배경을 맞힌다면?

동물의 특징을 그대로 둔 채 눈 배경과 모서리 표식을 바꾸어 예측이 무엇에 기대는지 점검합니다.

AI가 80%라고 말하면 열 번 중 여덟 번 맞을까?

AI가 붙인 신뢰도와 같은 신뢰도를 받은 사례의 실제 정답 비율을 구간별로 맞대어 과신과 과소신을 찾습니다.

조건 하나를 바꾸면 무엇이 달라질까?

공개된 배송 예측식을 조작하며 모델의 예측 변화와 현실의 인과효과를 구분합니다.