통합검색

관련 문서를 찾으면 AI 답도 근거가 충분할까?

검색 문서의 주제 관련성과 생성 문장의 직접 지지·완전성을 나눠, 인용이 붙은 답을 주장 단위로 검사합니다.

보상 점수가 높으면 AI가 목적도 잘 따른 걸까?

같은 씨앗 봉투를 반복 스캔해도 점수가 오르는 교육용 규칙을 통해, 측정 보상과 사람이 의도한 목표의 간격을 검사합니다.

증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?

miniF2F는 올림피아드 수준 문제를 여러 증명 보조기 형식으로 맞춰 신경 정리증명기의 비교 기반을 만들었습니다.

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

인공지능(AI)가 정답을 맞히면 근거 사슬도 맞았을까?

ProofWriter는 정답 분류와 명시적 증명 생성, 모든 결론 열거와 제한적 역추론을 서로 다른 과제로 평가합니다.

ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

새로운 사실을 배운 인공지능(AI)는 거꾸로 물어도 답할까?

역전의 저주 연구는 학습한 사실을 반대 방향의 질문에서 활용하는 문제를 다룹니다. 같은 대상이라는 정보와 일반 조건문의 역을 구별하며 읽습니다.

The Reversal Curse: LLMs trained on “A is B” fail to learn “B is A”