통합검색

‘모두 오지 않았다’는 몇 명이 왔다는 뜻일까

부정이 ‘모두’보다 넓게 작용하는지, 각 사람에게 작용하는지 구분하고 문맥 단서에 따라 가능한 참석 인원을 다시 계산한다.

Generalized Quantifiers

서버 지연이 답장을 직접 늦춘 걸까?

가상의 문의 앱에서 서버 지연이 알림 도착을 늦추고, 늦은 알림이 답장 시작을 늦추는 연쇄를 읽는다. 원인이 결과에 직접 닿는 경우와 중간 단계를 거쳐 영향을 주는 경우를 구별한다.

증명 속 중간정리를 모두 걷어내도, 같은 결론에 도달할 수 있을까요?

다케우치 가이시의 《On a Generalized Logic Calculus》(1953)를 따라, 시퀀트와 컷에서 근본 추측, 증명된 보존 정리와 후속 쟁점까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Gaisi Takeuti, On a Generalized Logic Calculus (1953)

7일 뒤 60%와 30일 뒤 60%, ‘유지율이 같다’고 써도 될까?

두 집단의 측정 시점·유지 인원·결과 정의·쓰기 목적을 바꾸어 직접 비교가 허용되는 조건과 보고 문장을 함께 확인합니다.

Percentages and percentage points

AI가 긴 글을 입력받으면 중간 내용도 잘 찾을까?

긴 글을 받아들일 수 있는 AI가 그 안의 정보를 고르게 활용하는지는 별개의 질문입니다. 류와 동료들의 2024년 논문은 답을 담은 정보의 위치를 바꾸며 당시 언어 모델의 수행을 비교합니다.

긴 입력의 중간에서 놓치는 정보 — Lost in the Middle: How Language Models Use Long Contexts