통합검색

AI는 어느 검색 길에서 근거를 놓칠까?

검색 폭과 검증 단계를 바꾸어, 관련 문서를 찾는 일과 답의 핵심 주장을 직접 뒷받침하는 일을 구분합니다.

‘곧’은 몇 분까지일까?

같은 안내를 서로 다른 시간 범위로 읽을 때, 약속이 지켜졌는지 판단하는 기준도 어떻게 달라지는지 직접 확인합니다.

주장·근거·반론이 한 문단에서 만나려면?

가상 열람실 연장 제안에서 문장 카드를 선택해 필요 근거, 실행 조건과 반론 대응이 실제 주장에 연결되는지 확인하고 한 문단으로 씁니다.

Organizing Your Argument

정답처럼 보이는 추측, 근거가 빠졌다면?

짧은 이야기에서 가능한 해석과 반드시 따라오는 결론을 나누고, 추가 단서가 오답의 빈칸을 어떻게 고치는지 확인합니다.

접힌 우산을 두고 간 까닭은 무엇일까?

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

대규모 언어모델의 자동 형식화는 일부 문제를 완전한 Isabelle 명세로 바꾸고 증명 학습을 개선했지만 번역 검증이 병목입니다.

Autoformalization with Large Language Models