통합검색

AI가 문장을 인용해도 앞뒤 문맥이 빠지면 근거가 될까?

핵심 문장·적용 조건·예외를 넣고 빼며 인용이 주장 전체를 실제로 받치는지 확인합니다.

증명과 프로그램은 어떻게 같은 구조를 가질까?

논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.

Propositions as Types

AI는 언제 사람에게 판단을 넘겨야 할까?

확신도와 사안의 중요도 기준을 함께 움직여, 자동 처리·사람 검토·즉시 보류가 어떻게 달라지는지 살핍니다.

그래프의 점이 움직일 때, 여전히 같은 대상을 가리킬까?

데이터와 화면 요소의 대응을 다룬 D3 논문을 통해 조작형 그림의 정체성 보존을 살펴봅니다. 예쁜 움직임보다 먼저 확인할 연결이 있습니다.

D3: Data-Driven Documents

닮은 점이 많으면 유추도 강해질까?

유추의 힘은 공통점의 개수만으로 정해지지 않습니다. 옮기려는 결론과 연결된 구조가 어느 부분까지 유지되는지 살펴봅니다.

Analogy and Analogical Reasoning