한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과126건

검색 결과 제목

  1. 61수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?
  2. 62학습 전략을 가르친 효과는 수업이 끝난 뒤에도 남을까?
  3. 63자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
  4. 648,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?
  5. 65학생끼리 답을 토론하면 강의보다 더 잘 배울까?
수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.

수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?

수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?

Llemma는 수학·과학·형식 코드로 계속 사전학습해 여러 과제에서 강한 성능을 보였지만 정답성과 기계검증은 구분됩니다.

Llemma: An Open Language Model for Mathematics

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
48개 개입의 평균 효과가 사후 g 0.50에서 후속 g 0.63으로 이어지고 연구 이질성 경고가 붙어 있다.

학습 전략을 가르친 효과는 수업이 끝난 뒤에도 남을까?

48개 개입의 평균 효과가 사후 g 0.50에서 후속 g 0.63으로 이어지고 연구 이질성 경고가 붙어 있다.
논리교육과 평가해외 학술 연구 · 연구 해설 · 심화

학습 전략을 가르친 효과는 수업이 끝난 뒤에도 남을까?

48개 메타인지 전략 개입의 후속검사를 종합한 연구는 평균 효과가 유지됐지만 연구·처치의 다양성과 비교 설계를 함께 보아야 함을 보여 줍니다.

Long-term Effects of Metacognitive Strategy Instruction on Student Academic Performance: A Meta-analysis

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도

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

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

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

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

NaturalProver: Grounded Mathematical Proof Generation With Language Models

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
한 문제에서 첫 후보 하나와 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분해외 논리학 연구 해설 읽기 →

61–65 / 126편