한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과100건

검색 결과 제목

  1. 61사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?
  2. 62집합이 많이 겹치면 원 대신 점과 막대로 세는 편이 나을까?
  3. 63정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?
  4. 64관점을 많이 모으면 균형 잡힌 논증이 될까?
  5. 65수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?
비형식 풀이 초안, 빈칸 있는 형식 스케치, 커널 검증 증명의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

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

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

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

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

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

게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
A B C D 네 행의 점 조합 세 열과, 각 열 위의 높이가 12 8 5인 교차 크기 막대가 있다.

집합이 많이 겹치면 원 대신 점과 막대로 세는 편이 나을까?

A B C D 네 행의 점 조합 세 열과, 각 열 위의 높이가 12 8 5인 교차 크기 막대가 있다.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

집합이 많이 겹치면 원 대신 점과 막대로 세는 편이 나을까?

UpSet은 집합 교차를 행렬의 점 조합과 막대 길이로 바꾸어 여러 집합의 정확한 교차 크기를 비교하게 합니다.

UpSet: Visualization of Intersecting Sets

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
중앙 주장 아래 두 관점 노드가 갈라지고 각 관점에서 서로 다른 근거 문단으로 화살표가 이어진다.

관점을 많이 모으면 균형 잡힌 논증이 될까?

중앙 주장 아래 두 관점 노드가 갈라지고 각 관점에서 서로 다른 근거 문단으로 화살표가 이어진다.
논증과 대화해외 학술 연구 · 연구 해설 · 심화

관점을 많이 모으면 균형 잡힌 논증이 될까?

PERSPECTRUM은 주장별 다양한 관점과 근거를 연결하는 과제를 만들고 자동화의 어려움을 측정했습니다.

Seeing Things from a Different Angle: Discovering Diverse Perspectives about Claims

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

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

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

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

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

Llemma: An Open Language Model for Mathematics

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

61–65 / 100편