통합검색

문장의 참·거짓을 두 사람의 게임으로 판정할 수 있을까?

논리 게임은 양화사 해석을 두 플레이어의 선택과 승리전략으로 바꿉니다.

Logic and Games

증명을 한 번에 쓰고 오류 메시지로 고치면 될까?

Baldur는 전체 Isabelle/HOL 증명을 생성한 뒤 오류 메시지로 수리합니다.

Baldur: Whole-Proof Generation and Repair with Large Language Models

상관이 높으면 두 측정법을 바꿔 써도 될까?

거의 나란히 커지는 두 측정법의 상관계수 0.996 뒤에 평균 +10.0의 차이가 남는 예시로 연관과 일치를 구분합니다.

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

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

숨은 변수가 얼마나 강해야 관찰 결과가 사라질까?

E-value는 관찰연구의 연관성을 설명해 없애려면 미측정 교란이 얼마나 강해야 하는지 비율척도로 묻습니다.

Sensitivity Analysis in Observational Research: Introducing the E-Value