한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과260건

검색 결과 제목

  1. 101“유도 질문”이라는 딱지만 붙이면 반박이 끝날까?
  2. 102증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?
  3. 103인공지능(AI)가 정답을 맞히면 근거 사슬도 맞았을까?
  4. 104움직이면 정말 더 이해하기 쉬울까?
  5. 105인공지능(AI)가 쓴 풀이가 실제 판단 과정을 그대로 보여 줄까?
공통 문제, 체계별 형식화, 검증 성공를 연결해 조건과 범위를 확인하는 교육용 도식.

증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?

공통 문제, 체계별 형식화, 검증 성공를 연결해 조건과 범위를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?

miniF2F는 올림피아드 수준 문제를 여러 증명 보조기 형식으로 맞춰 신경 정리증명기의 비교 기반을 만들었습니다.

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
라온 등록 사실과 첫 규칙이 합류해 확인 메일 결론을 만들고, 그 결론과 둘째 규칙이 합류해 입장 가능 결론을 만드는 두 단계 증명 그래프.

인공지능(AI)가 정답을 맞히면 근거 사슬도 맞았을까?

라온 등록 사실과 첫 규칙이 합류해 확인 메일 결론을 만들고, 그 결론과 둘째 규칙이 합류해 입장 가능 결론을 만드는 두 단계 증명 그래프.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 정답을 맞히면 근거 사슬도 맞았을까?

ProofWriter는 정답 분류와 명시적 증명 생성, 모든 결론 열거와 제한적 역추론을 서로 다른 과제로 평가합니다.

ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

게시 2026-09-12 · 약 11분해외 논리학 연구 해설 읽기 →
종이접기 네 정지 프레임과 애니메이션 조건을 정보량, 단계 표시, 동시 비교, 재생 통제 네 항목으로 대조한 표.

움직이면 정말 더 이해하기 쉬울까?

종이접기 네 정지 프레임과 애니메이션 조건을 정보량, 단계 표시, 동시 비교, 재생 통제 네 항목으로 대조한 표.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

움직이면 정말 더 이해하기 쉬울까?

애니메이션과 정지 그림의 비교가 공정하려면 정보량과 다시보기 조건을 어떻게 맞춰야 하는지 살펴봅니다.

Animation: Does It Facilitate Learning?

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
원래 규칙과 전제, 부정으로 바꾼 전제, 제거한 규칙의 세 개입에서 논리적으로 기대되는 결론 변화와 AI 답을 비교하도록 한 표.

인공지능(AI)가 쓴 풀이가 실제 판단 과정을 그대로 보여 줄까?

원래 규칙과 전제, 부정으로 바꾼 전제, 제거한 규칙의 세 개입에서 논리적으로 기대되는 결론 변화와 AI 답을 비교하도록 한 표.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 쓴 풀이가 실제 판단 과정을 그대로 보여 줄까?

사고 사슬에 오류·바꾸어 쓰기·삭제를 가한 개입 연구는 모델과 과제에 따라 답이 풀이에 의존하는 정도가 크게 다름을 보였습니다.

Measuring Faithfulness in Chain-of-Thought Reasoning

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

101–105 / 260편