통합검색

코드가 예시 입력을 통과하면 프로그램이 옳다는 증명도 된 걸까?

입출력 테스트와 형식 명세 증명은 어떤 다른 보장을 주는가?

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

믿음을 거두면 그 반대가 참이라고 믿어야 할까?

믿음 수정의 논리는 철회·추가·수정을 서로 다른 연산으로 다룹니다. 판단을 보류하는 것과 반대 명제를 받아들이는 것은 다른 변화입니다.

Logic of Belief Revision

AI 시험 문제가 학습 자료와 겹치면 점수를 믿을 수 있을까?

공개 시험·재표현 시험·새 비공개 시험의 결과를 비교하며 암기와 새로운 문제 해결을 구분합니다.

AI가 ‘완료했습니다’라고 쓰면 실제 작업도 끝난 걸까?

등대 경보판 7개를 바꾸는 가상 작업에서 답변, 도구 결과, 작업 뒤 상태를 분리해 완료의 근거를 판정합니다.

정책 뒤 수치가 떨어지면 정책 효과라고 말해도 될까?

반환 누락이 정책 직전 46개에서 42개로 줄었다는 전후 차이 −4와, 기존 +2 추세를 연장한 48개 대비 직후 간격 −6을 구분합니다.