한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과142건

검색 결과 제목

  1. 61수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?
  2. 62‘내가 이해했나?’라는 질문을 띄우면 학습 결과도 오를까?
  3. 63학습 전략을 가르친 효과는 수업이 끝난 뒤에도 남을까?
  4. 64그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  5. 65자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.

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

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

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

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

Llemma: An Open Language Model for Mathematics

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
110명이 프롬프트와 통제 집단으로 무작위 배정되고 두 자료 유형을 모두 학습한 뒤 24문항 검사를 받는 2대2 실험 흐름도

‘내가 이해했나?’라는 질문을 띄우면 학습 결과도 오를까?

110명이 프롬프트와 통제 집단으로 무작위 배정되고 두 자료 유형을 모두 학습한 뒤 24문항 검사를 받는 2대2 실험 흐름도
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

‘내가 이해했나?’라는 질문을 띄우면 학습 결과도 오를까?

체코 대학생 110명을 무작위 배정한 2×2 실험에서 메타인지 프롬프트의 지식검사 효과가 유의하지 않았고 자료 형식과 개인차가 중요했음을 살펴봅니다.

Exploring the effects of metacognitive prompts on learning outcomes: An experimental study in higher education

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
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분해외 논리학 연구 해설 읽기 →
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

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

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

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

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

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

NaturalProver: Grounded Mathematical Proof Generation With Language Models

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

61–65 / 142편