한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과98건

표시정렬

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

수학올림피아드 증명 평가 연구에서 자동 채점의 어려움을 읽습니다. 예시 확인과 일반 증명을 구별하는 작은 답안으로 채점 근거를 점검합니다.

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad

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

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

Recognizing Insufficiently Supported Arguments in Argumentative Essays

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

시제논리는 ‘언젠가’, ‘항상’, ‘과거에’ 같은 시간 표현을 논리 연산자로 다루며 시간 구조에 따라 추론이 달라짐을 보여 줍니다.

Temporal Logic

인공지능과 논리해외 학술 연구 · 연구 해설 · 입문

같은 계산 구조에서 이름·숫자·무관 정보를 바꾸는 평가를 살펴봅니다. 한 번의 정답보다 변형에 대한 안정성을 묻습니다.

GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

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

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

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

76–80 / 98편