통합검색

위험이 절반으로 줄었다면 효과도 큰 걸까?

같은 50% 감소를 기준 위험 20%와 2%에 적용해 절대 감소와 추가 이득 1명당 인원을 비교합니다.

선발된 사람만 보면 두 장점이 서로 방해하는 걸까?

서로 독립인 두 강점이 선발자 집단에서 음의 관계로 보이는 계산을 통해, 공통 결과를 조건으로 삼는 선택 편향을 살핍니다.

한 집단에서만 유의하면 집단별 효과도 다른 걸까?

A 집단 +6점은 유의하고 B 집단 +2점은 유의하지 않아도, 직접 차이 +4점의 95% 구간은 −1.7~+9.7점일 수 있음을 계산합니다.

토론의 목적이 몰래 바뀌면 왜 오류가 생길까?

대화 유형 이론은 어떤 전략이 본래 허용된 자리에서 다른 대화로 몰래 이동할 때 오류가 될 수 있다고 설명합니다.

Commitment, Types of Dialogue and Fallacies

증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?

miniF2F는 올림피아드 수준 문제를 여러 증명 보조기 형식으로 맞춰 신경 정리증명기의 비교 기반을 만들었습니다.

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics