한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과510건

검색 결과 제목

  1. 211자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
  2. 212풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
  3. 213같은 가능성을 어떻게 나누어 보여 주느냐가 확률 판단을 바꿀까?
  4. 2148,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?
  5. 215학생끼리 답을 토론하면 강의보다 더 잘 배울까?
참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도

자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?

참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?

NaturalProver는 배경 정리와 정의를 조건으로 자연어 증명 단계를 생성해 사람 평가를 개선했지만, 형식 검사기가 없는 자연어 증명은 여전히 인간 검토가 필요했습니다.

NaturalProver: Grounded Mathematical Proof Generation With Language Models

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식

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

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

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

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

HyperTree Proof Search for Neural Theorem Proving

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
같은 전체 직사각형을 두 칸과 네 칸으로 나눈 뒤 균등 배분 기준이 50퍼센트와 25퍼센트로 달라지는 비교 도식

같은 가능성을 어떻게 나누어 보여 주느냐가 확률 판단을 바꿀까?

같은 전체 직사각형을 두 칸과 네 칸으로 나눈 뒤 균등 배분 기준이 50퍼센트와 25퍼센트로 달라지는 비교 도식
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

같은 가능성을 어떻게 나누어 보여 주느냐가 확률 판단을 바꿀까?

Fox와 Clemen의 다섯 연구를 바탕으로 같은 사건 공간도 선택지 분할 방식에 따라 각 항목의 주관확률이 균등한 ‘무지 사전분포’ 쪽으로 끌릴 수 있음을 설명합니다.

Subjective Probability Assessment in Decision Analysis: Partition Dependence and Bias Toward the Ignorance Prior

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
한 문제에서 첫 후보 하나와 8192개 후보 묶음이 각각 검증기로 들어가 pass at 1과 pass at 8192로 나뉘는 도식

8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?

한 문제에서 첫 후보 하나와 8192개 후보 묶음이 각각 검증기로 들어가 pass at 1과 pass at 8192로 나뉘는 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?

Kimina-Prover Preview v1의 강화학습과 miniF2F pass@8192 결과를 살펴보며 대규모 후보 탐색 성과와 단일 시도 능력, 형식 검증 비용을 구분한다.

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
개별 응답에서 동료 이유 교환, 새 문항 재응답으로 이어지고 교사 피드백이 마지막 합류점에 연결된다.

학생끼리 답을 토론하면 강의보다 더 잘 배울까?

개별 응답에서 동료 이유 교환, 새 문항 재응답으로 이어지고 교사 피드백이 마지막 합류점에 연결된다.
논리교육과 평가해외 학술 연구 · 연구 해설 · 심화

학생끼리 답을 토론하면 강의보다 더 잘 배울까?

10년간의 Peer Instruction 자료는 개념 질문·개별 응답·동료 토론·재응답의 결합과 성취 향상을 보고하지만 무작위 실험은 아닙니다.

Peer Instruction: Ten Years of Experience and Results

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

211–215 / 510편