통합검색

평균을 정확히 알면 다음 한 사람의 값도 좁게 맞힐 수 있을까?

평균 50, 표준편차 10인 교육 모형에서 표본 수를 늘리며 평균의 신뢰구간과 다음 한 관측값의 예측구간을 구분합니다.

인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?

AlphaGeometry는 신경 언어모형의 보조 구성 제안과 기호 추론기의 검증을 결합했습니다. 30문제 성과와 적용 범위를 분리해 읽습니다.

Solving Olympiad Geometry without Human Demonstrations

로그 눈금은 설명과 예측에 똑같이 좋을까?

지수성장 그래프 실험은 선형 눈금과 로그 눈금의 장점이 현재값 설명과 미래값 예측에서 뒤바뀔 수 있음을 보여 줍니다.

Is my visualization better than yours? Analyzing factors modulating exponential growth bias in graphs

이미 기다린 시간이 길수록 더 기다려야 할까?

쥐·생쥐·사람의 병렬 과제는 이미 투자한 시간이 이후 포기 결정에 어떤 영향을 주는지 비교했습니다.

Sensitivity to “sunk costs” in mice, rats, and humans

문장을 논리식으로 잘 옮기면 인공지능(AI) 추론도 끝난 걸까?

FOLIO는 자연어를 1차 논리로 옮기는 정확성과 실제 결론을 실행하는 정확성이 다를 수 있음을 보여 줍니다.

FOLIO: Natural Language Reasoning with First-Order Logic