통합검색

남의 편향은 잘 보이는데 내 편향은 왜 덜 보일까?

편향 맹점 연구는 편향을 자신보다 타인에게 더 강하게 보는 비대칭을 보고합니다.

The Bias Blind Spot: Perceptions of Bias in Self Versus Others

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

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

Logic and Games

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

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

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

AI가 모를 때 멈추면 더 믿을 수 있을까?

신뢰도 문턱을 높일수록 응답 범위와 응답한 사례의 오류가 어떻게 함께 달라지는지 계산하고, 보류를 포함한 운영 기준을 세웁니다.

전체 80점이면 모든 집단에도 잘한 걸까?

평균은 모두 80점이지만 최저 집단은 50점과 78점인 두 모델을 비교해, 전체 점수 뒤의 운영상 약한 구간을 찾습니다.