통합검색

조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?

SATBench의 2,100개 문제는 해 찾기와 불가능성 판정 사이의 비대칭을 드러냅니다.

SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas

한쪽만 유의하면 두 효과가 서로 다른 걸까?

p<.05와 p>.05의 경계 비교는 두 효과의 차이 검정이 아닙니다. 추정치의 차이와 그 불확실성을 직접 계산해야 합니다.

The Difference Between ‘Significant’ and ‘Not Significant’ is not Itself Statistically Significant

‘아직 모름’을 거짓으로 처리해도 될까?

참·거짓에 미정을 더하면 ‘그리고’와 ‘또는’은 어떻게 달라질까요? 다치논리의 한 체계를 정확히 제한해 살펴봅니다.

Many-Valued Logic

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

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

A Nested Model for Visualization Design and Validation

모양을 배웠을까, 배경을 외웠을까?

도형은 그대로 두고 배경을 바꾸어, 예측기가 의존하는 단서를 찾아봅니다.