그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.
MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과473건
검색 결과 제목
빈칸을 평균값 하나로 채우면 불확실성도 사라질까?
Sterne 등은 다중대치의 가정과 절차를 설명하고 59편의 사용 사례를 검토해 보고 누락과 민감도 분석의 부족을 지적했습니다.
Multiple Imputation for Missing Data in Epidemiological and Clinical Research: Potential and Pitfalls
게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
NaturalProver는 배경 정리와 정의를 조건으로 자연어 증명 단계를 생성해 사람 평가를 개선했지만, 형식 검사기가 없는 자연어 증명은 여전히 인간 검토가 필요했습니다.
NaturalProver: Grounded Mathematical Proof Generation With Language Models
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
‘아니다’는 언제 모순이고 언제 단순한 반대일까?
스탠퍼드 철학백과의 부정 항목을 바탕으로 논리적 부정, 자연언어의 부정, 거부 행위를 구별하고 ‘참이 아니다’와 ‘반대편이 참이다’ 사이의 간격을 살펴봅니다.
Negation
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?
Jamison·Yay·Feldman은 같은 나쁜 결과도 행동으로 일으켰을 때 더 부도덕하고 비난받을 만하다고 판단하는 누락 편향을 사전등록 복제했다.
Action-inaction asymmetries in moral scenarios: Replication of the omission bias examining morality and blame with extensions linking to causality, intent, and regret
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
226–230 / 473편