통합검색

증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?

GamePad는 Coq 증명을 목표·맥락·전술·하위 목표의 상태 전이로 노출해 AI가 남은 거리와 다음 전술을 학습하도록 했습니다.

GamePad: A Learning Environment for Theorem Proving

시각화가 틀리면 어느 단계부터 다시 봐야 할까?

Munzner의 중첩 모형은 시각화의 네 설계 층을 나누고, 위층의 오해가 아래층의 정교한 구현까지 연쇄적으로 무효화할 수 있음을 보입니다.

A Nested Model for Visualization Design and Validation

그림의 빈칸은 ‘없음’일까, ‘아직 모름’일까?

그림을 읽으려면 범례도 읽어야 합니다. 집합 그림의 빈 영역과 존재 표시를 통해 시각추론의 규칙을 살펴봅니다.

Diagrams and Diagrammatical Reasoning

같은 정보를 담아도 왜 어떤 그림이 더 빨리 풀릴까?

정보가 같다는 것과 찾아 쓰는 비용이 같다는 것은 다릅니다. 표와 문장의 탐색 경로를 비교합니다.

Why a Diagram is (Sometimes) Worth Ten Thousand Words

‘그리고’와 ‘또는’이 계산이 되기까지

조지 불의 문제의식에서 출발해 두 조건을 결합하는 작은 논리표를 만납니다.