한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과103건

표시정렬

논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

불가능세계 의미론은 모순된 믿음과 반가능 조건문을 모두 똑같이 참으로 만들지 않는 방법을 탐구합니다.

Impossible Worlds

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

대규모 자연어 문제를 Lean 정리로 바꾸며 의미 보존을 어떻게 확인하는가?

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

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

낮은 검정력은 참 효과를 놓칠 뿐 아니라 발견된 효과를 과장하고 재현 가능성을 낮출 수 있습니다.

Power Failure: Why Small Sample Size Undermines the Reliability of Neuroscience

논증과 대화해외 학술 연구 · 연구 해설 · 심화

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

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

$수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.$

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

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

Llemma: An Open Language Model for Mathematics

56–60 / 103편