한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과136건

검색 결과 제목

  1. 56눈앞에 보이는 대상을 왜 알아차리지 못할까?
  2. 57수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?
  3. 58선택지가 많으면 언제나 선택이 어려울까?
  4. 59그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  5. 60자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
가려지지 않은 원 네 개, 삼각형 세 개, 별 한 개가 배치되어 있다. 원의 수를 세는 과제와 모든 모양을 분류하는 과제를 구별한다.

눈앞에 보이는 대상을 왜 알아차리지 못할까?

가려지지 않은 원 네 개, 삼각형 세 개, 별 한 개가 배치되어 있다. 원의 수를 세는 과제와 모든 모양을 분류하는 과제를 구별한다.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

눈앞에 보이는 대상을 왜 알아차리지 못할까?

선택적 주의 연구는 시야에 들어온 정보와 의식적으로 알아차린 정보를 구별합니다. 실수를 개인의 성실성으로 판단하기 전에 과제의 주의 요구를 살핍니다.

Failures of Awareness: The Case of Inattentional Blindness

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.

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

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

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

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

Llemma: An Open Language Model for Mathematics

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
50개 연구 → 63개 비교 조건 → 참가자 5,036명 → 평균≈0·이질성 큼를 비교하는 LTCT 교육용 도식

선택지가 많으면 언제나 선택이 어려울까?

50개 연구 → 63개 비교 조건 → 참가자 5,036명 → 평균≈0·이질성 큼를 비교하는 LTCT 교육용 도식
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 심화

선택지가 많으면 언제나 선택이 어려울까?

50개 연구의 63개 조건과 5,036명을 종합한 메타분석은 선택 과부하의 평균 효과가 사실상 0에 가까웠지만 연구 간 차이가 컸다고 보고했습니다.

Can There Ever Be Too Many Options? A Meta-Analytic Review of Choice Overload

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

그림이 포함된 정리를 인공지능(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분해외 논리학 연구 해설 읽기 →

56–60 / 136편