한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과4건

검색 결과 제목

  1. 1인공지능(AI)가 여러 풀이를 만든 뒤 따로 검사하면 정답률이 오를까?
  2. 2사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?
  3. 3수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?
  4. 4쉬운 부등식을 합성한 문제에서 증명 인공지능(AI)가 갑자기 약해질까?
한 문제에서 세 후보 풀이가 생성되고 별도 검증기가 점수를 매겨 한 후보를 선택하지만, 후보 없음과 검증 오류 경로도 함께 표시되어 있다.

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

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

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

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

Training Verifiers to Solve Math Word Problems

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
비형식 풀이 초안, 빈칸 있는 형식 스케치, 커널 검증 증명의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?

비형식 풀이 초안, 빈칸 있는 형식 스케치, 커널 검증 증명의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?

Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.

수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?

수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?

Llemma는 수학·과학·형식 코드로 계속 사전학습해 여러 과제에서 강한 성능을 보였지만 정답성과 기계검증은 구분됩니다.

Llemma: An Open Language Model for Mathematics

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
두 개의 쉬운 부등식 조각이 재작성과 합성 노드를 지나 Lean 목표로 가며 중간 합성 지점에 병목 표시가 있는 흐름도

쉬운 부등식을 합성한 문제에서 증명 인공지능(AI)가 갑자기 약해질까?

두 개의 쉬운 부등식 조각이 재작성과 합성 노드를 지나 Lean 목표로 가며 중간 합성 지점에 병목 표시가 있는 흐름도
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

쉬운 부등식을 합성한 문제에서 증명 인공지능(AI)가 갑자기 약해질까?

Ineq-Comp v2를 바탕으로 익숙한 부등식의 변수 복제·대수 재작성·다단계 합성이 현재 Lean 증명 모델의 구성적 일반화를 크게 흔드는지 살펴봅니다.

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities

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

1–4 / 4편