인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?
PrOntoQA 분석은 개별 추론 정확성과 여러 갈래에서 목표 경로를 찾는 증명 계획을 분리합니다.
Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
PrOntoQA 분석은 개별 추론 정확성과 여러 갈래에서 목표 경로를 찾는 증명 계획을 분리합니다.
Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought
2025년 실험에서 짧은 비판 질문 지시는 약한 논증뿐 아니라 강한 논증 평가도 낮췄습니다. 반복 지시는 두 품질의 구별을 조금 키웠지만 효과는 작았습니다.
Can People be Made More Rational? Testing Whether People’s Ability to Assess Arguments can be Enhanced
온라인 실험 2건 2,549명에게 같은 코로나19 자료를 34개 시각 형식으로 보여 주자 누적축과 예측모형 수가 위험 인식을 다르게 움직였습니다.
Impact of COVID-19 Forecast Visualizations on Pandemic Risk Perceptions
장기기증 연구는 동일한 선택도 참여 또는 비참여 기본값에 따라 동의율이 크게 달라질 수 있음을 보였습니다.
Do Defaults Save Lives?
의존논리는 여러 변수 배정을 한 팀으로 평가해 ‘같은 입력이면 같은 출력’이라는 함수적 의존을 논리식 안에 표현합니다.
Dependence Logic
51–55 / 133편