한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과133건

검색 결과 제목

  1. 61자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?
  2. 62막대는 실제 값보다 정사각형에 가까운 높이로 기억될까?
  3. 63변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?
  4. 64공통 결과를 기준으로 골라 보면 없던 관계가 생길까?
  5. 65인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?
자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

대규모 언어모델의 자동 형식화는 일부 문제를 완전한 Isabelle 명세로 바꾸고 증명 학습을 개선했지만 번역 검증이 병목입니다.

Autoformalization with Large Language Models

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
실제 높이 60이 같은 넓은 막대와 좁은 막대 옆에 각각 위와 아래로 향하는 기억 편향 화살표가 있는 비교 그림

막대는 실제 값보다 정사각형에 가까운 높이로 기억될까?

실제 높이 60이 같은 넓은 막대와 좁은 막대 옆에 각각 위와 아래로 향하는 기억 편향 화살표가 있는 비교 그림
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

막대는 실제 값보다 정사각형에 가까운 높이로 기억될까?

Truth or Square 연구의 세 실험을 통해 막대의 가로세로 비율이 위치값 기억을 정사각형 쪽으로 끌어당기는 편향을 만들 수 있음을 살펴봅니다.

Truth or Square: Aspect Ratio Biases Recall of Position Encodings

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
I는 입력을 전달, K는 첫 입력을 선택, S는 마지막 입력을 공유한다. 예시 결과는 별, 별, 9이다.

변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

I는 입력을 전달, K는 첫 입력을 선택, S는 마지막 입력을 공유한다. 예시 결과는 별, 별, 9이다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

결합논리는 입력을 전달·선택·공유하는 작은 연산자로 변수 묶기의 역할을 표현합니다. 괄호와 적용 순서가 계산의 핵심입니다.

Combinatory Logic

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
실력과 운에서 합격으로 들어가는 두 화살표와 합격을 조건화할 때 실력과 운 사이에 점선 가짜 연관이 열리는 다이어그램.

공통 결과를 기준으로 골라 보면 없던 관계가 생길까?

실력과 운에서 합격으로 들어가는 두 화살표와 합격을 조건화할 때 실력과 운 사이에 점선 가짜 연관이 열리는 다이어그램.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

공통 결과를 기준으로 골라 보면 없던 관계가 생길까?

Elwert와 Winship은 서로 독립인 두 원인이 공통 결과에 모일 때 그 결과를 조건화하면 가짜 연관이 열리는 선택 편향을 인과 다이어그램으로 통합했다.

Endogenous Selection Bias: The Problem of Conditioning on a Collider Variable

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
시작 전제에서 세 갈래의 유효한 추론이 나오지만 목표에 닿는 가운데 경로만 선택해야 하는 탐색 트리

인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?

시작 전제에서 세 갈래의 유효한 추론이 나오지만 목표에 닿는 가운데 경로만 선택해야 하는 탐색 트리
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?

PrOntoQA 분석은 개별 추론 정확성과 여러 갈래에서 목표 경로를 찾는 증명 계획을 분리합니다.

Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought

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

61–65 / 133편