통합검색

증명을 한 번에 쓰고 오류 메시지로 고치면 될까?

Baldur는 전체 Isabelle/HOL 증명을 생성한 뒤 오류 메시지로 수리합니다.

Baldur: Whole-Proof Generation and Repair with Large Language Models

입력 분포가 바뀌면 AI 오류도 같은 방식으로 늘어날까?

전체 정확도 82%가 66%로 같게 떨어져도 입력 구성 80·20→40·60의 변화와 조건별 정확도 90%→70%의 관계 변화는 다른 진단임을 비교합니다.

각자 순서가 분명한데 공동 1등은 없을 수 있을까?

세 모둠이 각각 일관된 순위를 냈는데도 둘씩 비교하면 A가 B를, B가 C를, C가 A를 2대 1로 이기는 순환을 확인합니다.

차이가 유의하지 않으면 두 방법이 같은 걸까?

0을 포함하는 넓은 구간과 사전에 정한 허용 범위 안의 좁은 구간을 비교해 ‘차이 없음’의 조건을 구분합니다.

검색 문서 속 명령을 AI가 따라도 될까?

요약하려고 가져온 문서의 ‘승인 상태를 바꿔라’는 문장을 지시가 아닌 자료로 표시하고, 읽기 전용 권한으로 행동 경로를 차단하는 두 겹 방어를 비교합니다.