한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과2건

검색 결과 제목

  1. 1인공지능(AI)가 식을 프로그램으로 쓰면 계산 실수는 줄어들까?
  2. 2인공지능(AI)가 계산을 프로그램에 맡기면 어떤 오류가 남을까?
문장제에서 변수와 식을 추출해 제한된 프로그램을 실행하고 의미 검산으로 돌아가는 네 단계 흐름도.

인공지능(AI)가 식을 프로그램으로 쓰면 계산 실수는 줄어들까?

문장제에서 변수와 식을 추출해 제한된 프로그램을 실행하고 의미 검산으로 돌아가는 네 단계 흐름도.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 식을 프로그램으로 쓰면 계산 실수는 줄어들까?

Program of Thoughts는 언어모델이 계산까지 문장으로 이어 쓰는 대신, 추론을 실행 가능한 프로그램으로 표현하고 계산은 외부 실행기에 맡깁니다.

Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks

게시 2026-09-22 · 약 9분해외 논리학 연구 해설 읽기 →
할인후쿠폰은15000원 쿠폰후할인은15300원으로 실행가능한 두 식의 결과가 다르다.

인공지능(AI)가 계산을 프로그램에 맡기면 어떤 오류가 남을까?

할인후쿠폰은15000원 쿠폰후할인은15300원으로 실행가능한 두 식의 결과가 다르다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 계산을 프로그램에 맡기면 어떤 오류가 남을까?

프로그램 보조 언어모델은 문제 해석과 계산 실행의 역할을 나눕니다. 실행이 성공해도 문제를 제대로 옮겼는지 확인해야 하는 이유를 알아봅니다.

PAL: Program-aided Language Models

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

1–2 / 2편