한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과146건

검색 결과 제목

  1. 86풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
  2. 87정확한 예측이면 언제나 쓸모 있을까?
  3. 88인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?
  4. 89관찰연구의 여러 특성을 확률 하나로 맞춰도 될까?
  5. 90인공지능(AI)에게 여러 번 물어 가장 많은 답을 고르면 더 정확할까?
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?

HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.

HyperTree Proof Search for Neural Theorem Proving

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
임계값 10% → 임계값 20% → 임계값 30% → 모형·전부·없음 비교를 비교하는 LTCT 교육용 도식

정확한 예측이면 언제나 쓸모 있을까?

임계값 10% → 임계값 20% → 임계값 30% → 모형·전부·없음 비교를 비교하는 LTCT 교육용 도식
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

정확한 예측이면 언제나 쓸모 있을까?

의사결정곡선 분석은 행동 임계값에서 참양성 이득과 거짓양성 부담을 반영한 순편익을 비교합니다.

Decision Curve Analysis: A Novel Method for Evaluating Prediction Models

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
같은 최종 답 아래에 1단계 규칙, 중간 결론, 2단계 규칙, 최종 결론을 정렬한 증명 사다리

인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?

같은 최종 답 아래에 1단계 규칙, 중간 결론, 2단계 규칙, 최종 결론을 정렬한 증명 사다리
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?

P-FOLIO는 0~20단계의 사람이 쓴 증명 연쇄를 제공해 최종 분류와 단계 규칙 평가를 분리합니다.

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
낮은 점수 → 0.0–0.3 → 대조 우세 / 공통지지 → 0.3–0.7 → 비교 가능 / 높은 점수 → 0.7–1.0 → 처치 우세를 비교하는 LTCT 교육용 도식

관찰연구의 여러 특성을 확률 하나로 맞춰도 될까?

낮은 점수 → 0.0–0.3 → 대조 우세 / 공통지지 → 0.3–0.7 → 비교 가능 / 높은 점수 → 0.7–1.0 → 처치 우세를 비교하는 LTCT 교육용 도식
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

관찰연구의 여러 특성을 확률 하나로 맞춰도 될까?

성향점수는 관찰된 공변량을 균형화하지만 숨은 교란을 해결하지 않습니다.

The Central Role of the Propensity Score in Observational Studies for Causal Effects

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
다섯 가상 풀이 중 세 개가 24, 두 개가 28. 가장 많은 답 24와 그 답의 정답 여부가 다름을 표시한 표.

인공지능(AI)에게 여러 번 물어 가장 많은 답을 고르면 더 정확할까?

다섯 가상 풀이 중 세 개가 24, 두 개가 28. 가장 많은 답 24와 그 답의 정답 여부가 다름을 표시한 표.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)에게 여러 번 물어 가장 많은 답을 고르면 더 정확할까?

자기일관성 방법은 다양한 풀이 경로에서 최종 답을 모읍니다. 정답률 개선과 답의 논리적 보증을 구별하고, 반복 답변의 독립성도 따져 봅니다.

Self-Consistency Improves Chain of Thought Reasoning in Language Models

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

86–90 / 146편