통합검색

‘내 의견을 무시했어요’에서 무엇을 먼저 확인해야 할까?

회의 기록과 첫 질문을 바꾸어 관찰 가능한 사건, 감정·해석, 합의 가능한 요청과 남은 쟁점을 분리합니다.

TeamSTEPPS Tool: DESC

확률을 솔직하게 말하게 하는 채점 규칙이 있을까?

적절 점수규칙이 왜 예측자의 진짜 믿음을 보고하도록 유도하는지 살피고, Brier 손실과 로그 손실을 직접 계산해 봅니다.

Strictly Proper Scoring Rules, Prediction, and Estimation

인공지능(AI)에게 원칙을 주면 안전한 답이 자동으로 보장될까?

Constitutional AI 공개본의 비판·수정과 AI 피드백 강화학습 절차를 구분하고, 원칙 선택과 평가의 남은 한계를 살핍니다.

Constitutional AI: Harmlessness from AI Feedback

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

Reynolds의 분리논리 해설을 따라 분리곱과 프레임 규칙이 서로 겹치지 않는 힙 영역에 대한 국소 추론을 어떻게 가능하게 하는지 살핍니다.

Separation Logic: A Logic for Shared Mutable Data Structures

AI 다섯 개가 동의하면 오류도 서로 독립일까?

모델 수·개별 오류 가능성·공통 오류 경로 비중을 바꾸어 독립 다수결과 공유된 실패가 섞인 결과를 비교합니다.