통합검색

비슷한 기호를 묶는 추론은 증명일까?

Neural Theorem Prover는 정확한 기호 일치 대신 임베딩 유사도로 부드럽게 통일해 규칙과 경로를 학습합니다.

End-to-End Differentiable Proving

AI가 같은 답을 여러 번 하면 더 믿을 수 있을까?

다섯 번의 보이는 출력과 외부 정답을 나란히 두고, 높은 일치율이 도움이 되는 조건과 같은 오류가 반복되는 경우를 구분합니다.

한 집단에서만 유의하면 집단별 효과도 다른 걸까?

A 집단 +6점은 유의하고 B 집단 +2점은 유의하지 않아도, 직접 차이 +4점의 95% 구간은 −1.7~+9.7점일 수 있음을 계산합니다.

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

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

Reasoning about a Rule

논문이 열 편이면 독립 근거도 열 개인가?

여러 논문과 요약이 같은 참여자·자료에서 나왔는지 출처를 거슬러 올라가 독립된 근거의 생성 단위를 셉니다.