한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과133건

검색 결과 제목

  1. 31검사 결과는 사전 확률을 몇 배나 바꾸는가?
  2. 32인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?
  3. 33고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?
  4. 34모르는 확률은 비교 대상이 있을 때 더 싫어질까?
  5. 35인공지능(AI)가 행동을 계획했다면 실제로 한 일도 확인된 걸까?
조건 있음과 없음의 단서 빈도가 LR 3 계산점에 합류하고 사전 오즈 1대4와 곱해져 사후 오즈 3대4로 이어진다.

검사 결과는 사전 확률을 몇 배나 바꾸는가?

조건 있음과 없음의 단서 빈도가 LR 3 계산점에 합류하고 사전 오즈 1대4와 곱해져 사후 오즈 3대4로 이어진다.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

검사 결과는 사전 확률을 몇 배나 바꾸는가?

가능도비는 같은 결과가 조건이 있는 사람과 없는 사람에게 각각 얼마나 자주 나타나는지를 비교해 사전 오즈를 갱신합니다.

Tips for Teachers of Evidence-based Medicine: Making Sense of Diagnostic Test Results Using Likelihood Ratios

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
한 문제에서 세 후보 풀이가 생성되고 별도 검증기가 점수를 매겨 한 후보를 선택하지만, 후보 없음과 검증 오류 경로도 함께 표시되어 있다.

인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?

한 문제에서 세 후보 풀이가 생성되고 별도 검증기가 점수를 매겨 한 후보를 선택하지만, 후보 없음과 검증 오류 경로도 함께 표시되어 있다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?

GSM8K와 학습된 검증기는 풀이 생성과 후보 선택을 분리해 다단계 산술 추론을 개선하는 방법과 그 한계를 보여 줍니다.

Training Verifiers to Solve Math Word Problems

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
학부 100문제와 박사 100문제의 두 층, 최고 일반 모델 16퍼센트와 5퍼센트를 비교한 막대 개념도

고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?

학부 100문제와 박사 100문제의 두 층, 최고 일반 모델 16퍼센트와 5퍼센트를 비교한 막대 개념도
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?

2026년 MA-ProofBench는 해석학 200문제를 학부·박사자격 수준으로 나눠 평가했고, 최고 일반 모델도 Pass@8 16%와 5%에 머물러 분야·난도별 검증의 필요성을 보였습니다.

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
확률 미상 항아리 U를 혼자 보는 단독 평가와, 50퍼센트가 알려진 항아리 K 옆에서 보는 직접 비교가 나란히 있다.

모르는 확률은 비교 대상이 있을 때 더 싫어질까?

확률 미상 항아리 U를 혼자 보는 단독 평가와, 50퍼센트가 알려진 항아리 K 옆에서 보는 직접 비교가 나란히 있다.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 심화

모르는 확률은 비교 대상이 있을 때 더 싫어질까?

Fox와 Tversky의 비교 무지 가설은 모호한 선택의 회피가 확률을 아는 선택과 나란히 놓일 때 두드러진다고 설명합니다.

Ambiguity Aversion and Comparative Ignorance

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
목표 지난달 온도, 계획 관측 파일 찾기, 행동 검색 요청, 관찰 9월 파일, 다음 점검 8월 파일 확인을 구분한 기록표.

인공지능(AI)가 행동을 계획했다면 실제로 한 일도 확인된 걸까?

목표 지난달 온도, 계획 관측 파일 찾기, 행동 검색 요청, 관찰 9월 파일, 다음 점검 8월 파일 확인을 구분한 기록표.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 행동을 계획했다면 실제로 한 일도 확인된 걸까?

ReAct는 추론과 외부 행동을 엮는 방식을 제안했습니다. 계획 문장, 실행 요청, 실제 관찰을 나누면 긴 작업에서 어디까지 확인되었는지 읽을 수 있습니다.

ReAct: Synergizing Reasoning and Acting in Language Models

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →

31–35 / 133편