한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과173건

표시정렬

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

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

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

Llemma: An Open Language Model for Mathematics

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

Berglund는 설명변수의 무작위 측정오차가 회귀계수를 0 쪽으로 끌어당기는 회귀 희석과 반복 측정 기반 보정·표본수 설계를 설명했다.

Regression dilution bias: Tools for correction methods and sample size calculation

다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 심화

대규모 시각화 기억 연구는 독특함과 색·사람 모양의 기억 효과를 보였지만 이해 정확성과는 구분해야 합니다.

What Makes a Visualization Memorable?

다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

모바일 산점도 비교 실험은 속도·정확도·확신이 같은 방향으로 움직이지 않을 수 있음을 보여 줍니다. 대상의 경로와 과제에 맞춰 화면을 선택해야 합니다.

A Comparative Evaluation of Animation and Small Multiples for Trend Visualization on Mobile Phones

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

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

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

96–100 / 173편