통합검색

표현만 바꾸면 AI의 설명도 달라질까?

결정 규칙은 그대로 둔 채 보기 순서와 무관한 장식을 바꾸어, 선택과 설명 근거가 함께 유지되는지 검사합니다.

‘그것’은 지도일까, 쪽지일까?

같은 지시어 뒤의 행동과 추가 단서를 바꾸어 가능한 지시 대상을 남기고, 경쟁 해석과 문장 충돌을 근거로 설명합니다.

Improving Sentence Clarity

“이 방법도 가능하다”는 제안에도 입증 책임이 있을까?

숙의 대화에서는 최종 권고뿐 아니라 선택지를 제안한 사람도 그 선택지가 가능한지 보일 책임을 질 수 있습니다.

Burdens of Proposing: On the Burden of Proof in Deliberation Dialogues

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

대규모 언어모델의 자동 형식화는 일부 문제를 완전한 Isabelle 명세로 바꾸고 증명 학습을 개선했지만 번역 검증이 병목입니다.

Autoformalization with Large Language Models

‘깊은 불일치’라는 말은 상황 설명일까, 대화 행동일까?

Forero-Mora와 Frápolli는 깊은 불일치를 고정된 사물처럼 분류하기보다 맥락 속에서 비교·평가하고 대화의 기대를 바꾸는 화행으로 분석합니다.

A Pragmatist Framework for Disagreeing Deeply