논리학 읽기 자료실 | 생각그림 연구소

해외 학술 연구

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

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

해외 학술 연구의 7개 분야

읽기 난이도자료 유형조건 초기화

해외 학술 연구448편 · 417묶음

같은 원문을 다룬 글 묶기

표시정렬

증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

인과 지식의 이전은 연구 결과를 단순 복사하는 일과 다릅니다. 집단 간에 무엇이 달라지고 무엇이 유지되는지 가정을 드러내는 방법을 살펴봅니다.

Causal Inference and Data Fusion in Econometrics

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

Sterne 등은 다중대치의 가정과 절차를 설명하고 59편의 사용 사례를 검토해 보고 누락과 민감도 분석의 부족을 지적했습니다.

Multiple Imputation for Missing Data in Epidemiological and Clinical Research: Potential and Pitfalls

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

NaturalProver는 배경 정리와 정의를 조건으로 자연어 증명 단계를 생성해 사람 평가를 개선했지만, 형식 검사기가 없는 자연어 증명은 여전히 인간 검토가 필요했습니다.

NaturalProver: Grounded Mathematical Proof Generation With Language Models

인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

DeepProbLog은 신경술어의 확률과 확률논리 규칙을 결합해 최종 질의에서 끝까지 학습합니다.

DeepProbLog: Neural Probabilistic Logic Programming

261–265 / 417묶음