한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과24건

표시정렬

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

HyperTree Proof Search는 증명 탐색 결과를 온라인 학습에 되돌려 훈련 분포 밖 정리의 탐색 정책을 개선한다.

HyperTree Proof Search for Neural Theorem Proving

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

P-FOLIO는 0~20단계의 사람이 쓴 증명 연쇄를 제공해 최종 분류와 단계 규칙 평가를 분리합니다.

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains

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

시각화 수사 연구는 선택·강조·배치·주석이 독자의 해석 경로를 형성함을 사례 코딩으로 보이며, 정확한 수치만으로 중립성이 보장되지 않음을 설명합니다.

Visualization Rhetoric: Framing Effects in Narrative Visualization

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

근거의 충분성을 판단한 해외 말뭉치 연구를 읽고, 사례 하나에서 넓은 결론으로 넘어갈 때 빠진 정보를 찾아봅니다.

Recognizing Insufficiently Supported Arguments in Argumentative Essays

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

3,026개 사례와 21개 오도 유형의 벤치마크는 답뿐 아니라 문제 영역을 찾는 능력을 평가합니다.

Unmasking Deceptive Visuals: Benchmarking Multimodal Large Language Models on Misleading Chart Question Answering

11–15 / 24편