한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과273건

검색 결과 제목

  1. 166인공지능(AI)가 정답을 맞히면 근거 사슬도 맞았을까?
  2. 167새로운 사실을 배운 인공지능(AI)는 거꾸로 물어도 답할까?
  3. 168인공지능(AI)가 쓴 풀이가 실제 판단 과정을 그대로 보여 줄까?
  4. 169증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?
  5. 170필요 없는 숫자 하나가 인공지능(AI)의 답을 흔들까?
라온 등록 사실과 첫 규칙이 합류해 확인 메일 결론을 만들고, 그 결론과 둘째 규칙이 합류해 입장 가능 결론을 만드는 두 단계 증명 그래프.

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

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

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

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

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

게시 2026-09-12 · 약 11분해외 논리학 연구 해설 읽기 →
책과 저자의 관계를 반대로 읽는 것, 작가 부류 전체를 한 사람과 동일시하는 것, 유일한 저서를 단정하는 것을 구별한 표.

새로운 사실을 배운 인공지능(AI)는 거꾸로 물어도 답할까?

책과 저자의 관계를 반대로 읽는 것, 작가 부류 전체를 한 사람과 동일시하는 것, 유일한 저서를 단정하는 것을 구별한 표.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

새로운 사실을 배운 인공지능(AI)는 거꾸로 물어도 답할까?

역전의 저주 연구는 학습한 사실을 반대 방향의 질문에서 활용하는 문제를 다룹니다. 같은 대상이라는 정보와 일반 조건문의 역을 구별하며 읽습니다.

The Reversal Curse: LLMs trained on “A is B” fail to learn “B is A”

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

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

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

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

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

Measuring Faithfulness in Chain-of-Thought Reasoning

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
홀수 합의 두 사례만 든 답안 A와 임의의 두 홀수를 사용한 답안 B를 비교하는 표. B는 합이 정수의 두 배임을 보인다.

증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?

홀수 합의 두 사례만 든 답안 A와 임의의 두 홀수를 사용한 답안 B를 비교하는 표. B는 합이 정수의 두 배임을 보인다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?

수학올림피아드 증명 평가 연구에서 자동 채점의 어려움을 읽습니다. 예시 확인과 일반 증명을 구별하는 작은 답안으로 채점 근거를 점검합니다.

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad

게시 2026-09-12 · 약 8분해외 논리학 연구 해설 읽기 →
기본형 24÷4=6, 색 정보 추가형 24÷4=6, 8개 보관 조건 변경형 (24-8)÷4=4. 무관 정보와 실제 조건 변경을 구별한다.

필요 없는 숫자 하나가 인공지능(AI)의 답을 흔들까?

기본형 24÷4=6, 색 정보 추가형 24÷4=6, 8개 보관 조건 변경형 (24-8)÷4=4. 무관 정보와 실제 조건 변경을 구별한다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 입문

필요 없는 숫자 하나가 인공지능(AI)의 답을 흔들까?

같은 계산 구조에서 이름·숫자·무관 정보를 바꾸는 평가를 살펴봅니다. 한 번의 정답보다 변형에 대한 안정성을 묻습니다.

GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

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

166–170 / 273편