통합검색

인공지능(AI)가 논리를 기호로 옮기고 계산기에 맡기면 더 정확할까?

Logic-LM은 언어모델의 형식화와 기호 솔버의 판정을 결합하고 오류 메시지로 번역을 고치는 절차를 평가했습니다.

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

규칙을 확인하려면 맞는 사례보다 어기는 사례를 찾아야 할까?

Wason의 선택 과제는 조건문을 검사할 때 확인과 반증이 어떻게 갈리는지 보여 줍니다.

Reasoning about a Rule

더 많이 수료한 반이 성공률도 높을까?

18명과 36명이라는 건수에 등록 인원을 붙여, 필요한 좌석 수와 프로그램의 수료 비율이 왜 다른 순위를 만드는지 비교합니다.

AI 내부 특징에 붙인 이름은 어떻게 검증할까?

활성이 큰 예시 몇 개로 만든 이름을 더 넓은 구간과 미공개 문장에 대어 보며 관찰과 해석을 구분합니다.

95% 신뢰구간이면 참값이 그 안에 있을 확률이 95%일까?

반복 연구의 여러 구간이 고정 참값을 덮는 절차와 특정 구간 하나의 포함 관계가 분리되어 있다.