한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과836건

검색 결과 제목

  1. 461정책 시행 시점이 제각각이면 이중차분 평균이 뒤섞일까?
  2. 462큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?
  3. 463문제를 잘게 나누면 인공지능(AI)가 더 어려운 문제도 풀 수 있을까?
  4. 464인공지능(AI)가 한 문제를 푸는 동안 그 문제 주변의 변형을 새로 학습하면 증명력이 올라갈까?
  5. 465가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?
조기 도입 A, 후기 도입 B, 미도입 C의 시간표에서 좋은 비교와 이미 처치된 집단을 통제로 쓰는 주의 비교가 색으로 구분된 도식

정책 시행 시점이 제각각이면 이중차분 평균이 뒤섞일까?

조기 도입 A, 후기 도입 B, 미도입 C의 시간표에서 좋은 비교와 이미 처치된 집단을 통제로 쓰는 주의 비교가 색으로 구분된 도식
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

정책 시행 시점이 제각각이면 이중차분 평균이 뒤섞일까?

Goodman-Bacon의 분해를 통해 시차 도입 자료의 두 방향 고정효과 추정치가 여러 2×2 비교의 가중평균이며 이미 처치된 집단이 통제가 될 때 해석이 흔들릴 수 있음을 설명합니다.

Difference-in-Differences with Variation in Treatment Timing

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
큰 정리를 작은 목표로 나누면 AI 증명은 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식

큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?

큰 정리를 작은 목표로 나누면 AI 증명은 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

큰 정리를 작은 목표로 나누면 인공지능(AI) 증명은 더 강해질까?

DeepSeek-Prover-V2는 비형식 풀이를 하위 목표로 재귀 분해해 형식 추론의 학습 자료와 보상 구조를 만든다.

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
43명 이동 예시의 입력과 결과 표. 버스 3대, 버스비 54만 원, 식비 43만 원을 구해 총비용 97만 원을 얻는다.

문제를 잘게 나누면 인공지능(AI)가 더 어려운 문제도 풀 수 있을까?

43명 이동 예시의 입력과 결과 표. 버스 3대, 버스비 54만 원, 식비 43만 원을 구해 총비용 97만 원을 얻는다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

문제를 잘게 나누면 인공지능(AI)가 더 어려운 문제도 풀 수 있을까?

작은 문제의 답을 다음 문제에 전달하는 least-to-most 연구는 분해의 개수보다 의존 순서와 분해 자체의 정확성이 중요함을 보여 줍니다.

Least-to-Most Prompting Enables Complex Reasoning in Large Language Models

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
원 목표에서 변형 문제 묶음, 강화학습, 트리 탐색, Lean 커널 검증으로 이어지는 순환도

인공지능(AI)가 한 문제를 푸는 동안 그 문제 주변의 변형을 새로 학습하면 증명력이 올라갈까?

원 목표에서 변형 문제 묶음, 강화학습, 트리 탐색, Lean 커널 검증으로 이어지는 순환도
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 한 문제를 푸는 동안 그 문제 주변의 변형을 새로 학습하면 증명력이 올라갈까?

AlphaProof는 Lean 검증 환경, 대규모 자기학습과 문제별 시험시점 강화학습을 결합해 2024 IMO 비기하 5문제 중 3문제를 풀었지만 막대한 계산비용과 형식화 범위가 제한입니다.

Olympiad-level Formal Mathematical Reasoning with Reinforcement Learning

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
물 부족·해충·열기 세 후보를 한 구역 피해, 젖은 흙, 난방기 인접이라는 관찰과 대조하는 확인표.

가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?

물 부족·해충·열기 세 후보를 한 구역 피해, 젖은 흙, 난방기 인접이라는 관찰과 대조하는 확인표.
논증과 대화논리학 배우기 · 개념·이론 · 일반

가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?

최선의 설명으로의 추론은 비교한 후보들의 범위에 의존합니다. 설명의 순위와 진실의 보장을 구분하고, 빠진 후보를 찾는 질문을 살펴봅니다.

Abduction

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →

461–465 / 836편