통합검색

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

불확실한 값은 일부러 비슷한 색으로 묶어야 할까?

Correll·Moritz·Heer는 값-억제 불확실성 팔레트를 제안하고 두 온라인 실험에서 읽기 성능과 위험 선택이 어떻게 달라지는지 평가했습니다.

Value-Suppressing Uncertainty Palettes

AI 심판은 자기 계열의 답을 더 좋아할까?

내용 조건은 같은 익명 답 A·B를 심판 A·B와 사람 루브릭이 평가할 때 88:78, 77:87, 80:80으로 달라지는 교육용 감사를 수행합니다.

AI가 말한 이유는 실제 선택 근거와 같을까?

입력 단서를 하나만 바꾸고 답과 설명을 함께 대조해, 그럴듯한 이유와 관찰 가능한 영향 요인을 구분합니다.

AI 한 부분을 바꾸면 전체 원리도 알 수 있을까?

중간 상태 복원과 가중치 편집의 결과를 대상 문장·바꿔 쓴 문장·이웃 지식으로 나누어, 국소 성공에서 전체 설명으로 넘어가는 조건을 살핍니다.