한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과66건

검색 결과 제목

  1. 41잘못된 그래프를 찾는 데 위치 정보가 왜 필요할까?
  2. 42정답을 잘 고르는 인공지능(AI)는 반례도 잘 만들까?
  3. 43단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?
  4. 44같은 데이터인데 속이는 차트가 인공지능(AI)의 답을 바꿀까?
  5. 45인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?
전체 차트, 의심 영역, 근거 설명를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

잘못된 그래프를 찾는 데 위치 정보가 왜 필요할까?

전체 차트, 의심 영역, 근거 설명를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

잘못된 그래프를 찾는 데 위치 정보가 왜 필요할까?

3,026개 사례와 21개 오도 유형의 벤치마크는 답뿐 아니라 문제 영역을 찾는 능력을 평가합니다.

Unmasking Deceptive Visuals: Benchmarking Multimodal Large Language Models on Misleading Chart Question Answering

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
하나의 추론 문제를 논리 표현, 반례 구성, 타당성 판정의 세 과제로 나누고 마지막에 서로 모순 없는지 대조하는 교육용 평가 그림.

정답을 잘 고르는 인공지능(AI)는 반례도 잘 만들까?

하나의 추론 문제를 논리 표현, 반례 구성, 타당성 판정의 세 과제로 나누고 마지막에 서로 모순 없는지 대조하는 교육용 평가 그림.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

정답을 잘 고르는 인공지능(AI)는 반례도 잘 만들까?

2026년 9월 개정된 로직스킬스 연구는 문장의 논리적 표현, 반례 구성, 타당성 판단을 나누어 평가합니다.

LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models

게시 2026-09-12 · 약 7분해외 논리학 연구 해설 읽기 →
원 퍼즐, 난독화, 동일 해 검증을 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?

원 퍼즐, 난독화, 동일 해 검증을 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?

4,290개 퍼즐의 Mystery-Zebra는 논리 구조, 난이도와 표면 표현의 영향을 분리해 평가합니다.

Lexical Recall or Logical Reasoning: Probing the Limits of Reasoning Abilities in Large Language Models

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
같은 데이터, 기만 표현, 메타데이터를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

같은 데이터인데 속이는 차트가 인공지능(AI)의 답을 바꿀까?

같은 데이터, 기만 표현, 메타데이터를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

같은 데이터인데 속이는 차트가 인공지능(AI)의 답을 바꿀까?

1,600쌍의 차트와 10개 비전언어모델을 비교한 연구는 시각적 기만과 메타데이터 완화의 범위를 측정했습니다.

Chart Deception in Vision-Language Models: From Vulnerability to Mitigation

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
최종 목표 '라벨이 있고 날짜가 있다'가 '라벨이 있다: 전제로 해결'과 '날짜가 있다: 근거 필요'라는 두 하위 목표로 분기한다.

인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?

최종 목표 '라벨이 있고 날짜가 있다'가 '라벨이 있다: 전제로 해결'과 '날짜가 있다: 근거 필요'라는 두 하위 목표로 분기한다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?

린도조 연구에서 전제 검색, 다음 단계 제안, 형식 검증의 역할을 나눕니다. 증명의 빈칸이 어떻게 드러나는지 살펴봅니다.

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

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

41–45 / 66편