해외 학술 연구

해외 학술 연구

그림으로 이해하고, 원문으로 깊이 읽습니다.

관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

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

해외 학술 연구의 7개 분야

조건 초기화

해외 학술 연구72편 · 69묶음

검색 결과 제목

  1. 21인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?
  2. 22고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?
  3. 23자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?
  4. 24인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?
  5. 25인공지능(AI)는 빠진 전제가 있는 논증도 같은 유형으로 분류할 수 있을까?
한 문제에서 세 후보 풀이가 생성되고 별도 검증기가 점수를 매겨 한 후보를 선택하지만, 후보 없음과 검증 오류 경로도 함께 표시되어 있다.

인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?

한 문제에서 세 후보 풀이가 생성되고 별도 검증기가 점수를 매겨 한 후보를 선택하지만, 후보 없음과 검증 오류 경로도 함께 표시되어 있다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?

GSM8K와 학습된 검증기는 풀이 생성과 후보 선택을 분리해 다단계 산술 추론을 개선하는 방법과 그 한계를 보여 줍니다.

Training Verifiers to Solve Math Word Problems

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
학부 100문제와 박사 100문제의 두 층, 최고 일반 모델 16퍼센트와 5퍼센트를 비교한 막대 개념도

고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?

학부 100문제와 박사 100문제의 두 층, 최고 일반 모델 16퍼센트와 5퍼센트를 비교한 막대 개념도
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?

2026년 MA-ProofBench는 해석학 200문제를 학부·박사자격 수준으로 나눠 평가했고, 최고 일반 모델도 Pass@8 16%와 5%에 머물러 분야·난도별 검증의 필요성을 보였습니다.

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.

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

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

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

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

Autoformalization with Large Language Models

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

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

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

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

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

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

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
표면 전제와 결론 사이 빈칸에 생략 전제를 복원한 뒤 유형 분류와 품질 평가로 갈라지는 도식

인공지능(AI)는 빠진 전제가 있는 논증도 같은 유형으로 분류할 수 있을까?

표면 전제와 결론 사이 빈칸에 생략 전제를 복원한 뒤 유형 분류와 품질 평가로 갈라지는 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)는 빠진 전제가 있는 논증도 같은 유형으로 분류할 수 있을까?

ACL 2025 연구는 일곱 언어모델의 논증 유형 분류를 비교하며, 생략된 전제가 있는 엔티밈과 작은 모델에서 어려움이 커짐을 보였습니다.

Can Large Language Models Understand Argument Schemes?

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

21–25 / 69묶음