TOPIC HUBS

읽기 주제를 묶어서 보기

개별 글보다 주제 전체를 따라 읽고 싶다면 대표 글과 연관 자료를 함께 보세요.

전체 주제 보기 →
검색에서 많이 찾는 질문현재 4~15위권에서 실제 노출이 확인된 대표 글을 바로 연결합니다.
해외 학술 연구

해외 학술 연구

그림으로 이해하고, 원문으로 깊이 읽습니다.

관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

해외 학술 연구의 7개 분야

조건 초기화

해외 학술 연구448편 · 417묶음

검색 결과 제목

  1. 241흥미로운 곁이야기는 양이 늘수록 학습에 도움이 될까?
  2. 242정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?
  3. 243자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?
  4. 244문장마다 역할을 맞혀도 전체 논증은 틀릴 수 있을까?
  5. 245긴 글을 넣을 수 있는 인공지능(AI)는 중간에 있는 근거도 잘 찾을까?
본문 800자에 곁이야기 0자, 100자, 300자를 넣는 세 편집안. 추가 비율 0%,12.5%,37.5%, 추가가 있는 두 안의 삽입 위치는 두 곳으로 같다.

흥미로운 곁이야기는 양이 늘수록 학습에 도움이 될까?

본문 800자에 곁이야기 0자, 100자, 300자를 넣는 세 편집안. 추가 비율 0%,12.5%,37.5%, 추가가 있는 두 안의 삽입 위치는 두 곳으로 같다.
논리교육과 평가해외 학술 연구 · 연구 해설 · 일반

흥미로운 곁이야기는 양이 늘수록 학습에 도움이 될까?

2026년 연구는 학습 목표와 무관한 흥미 자료의 양을 바꾸고 끼어드는 위치를 관리했습니다. 기억과 전이 결과를 구분해 자료를 편집하는 기준을 살펴봅니다.

The more, the worse? The influence of the seductive detail amount on learning

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?

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

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

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
A 조명 교체 주장, B 고장 근거는 A 지지, C 비용 우려는 A 반대, D 공동 구매는 C에 대응한다는 역할·대상표.

문장마다 역할을 맞혀도 전체 논증은 틀릴 수 있을까?

A 조명 교체 주장, B 고장 근거는 A 지지, C 비용 우려는 A 반대, D 공동 구매는 C에 대응한다는 역할·대상표.
논증과 대화해외 학술 연구 · 연구 해설 · 일반

문장마다 역할을 맞혀도 전체 논증은 틀릴 수 있을까?

논증의 중심 주장·입장·지지 관계를 함께 예측하는 연구는 문장별 판단과 글 전체 구조 사이의 간극을 보여 줍니다.

Joint prediction in MST-style discourse parsing for argumentation mining

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
자료 다섯 개 중 핵심 근거의 위치를 첫째, 셋째, 다섯째로 바꾼 세 줄의 블록 도식. 성능 수치는 표시하지 않는다.

긴 글을 넣을 수 있는 인공지능(AI)는 중간에 있는 근거도 잘 찾을까?

자료 다섯 개 중 핵심 근거의 위치를 첫째, 셋째, 다섯째로 바꾼 세 줄의 블록 도식. 성능 수치는 표시하지 않는다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

긴 글을 넣을 수 있는 인공지능(AI)는 중간에 있는 근거도 잘 찾을까?

긴 문맥 처리 연구는 입력 길이와 실제 정보 활용을 구별합니다. 같은 근거의 위치를 바꾸는 평가가 왜 필요한지 살펴봅니다.

Lost in the Middle: How Language Models Use Long Contexts

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →

241–245 / 417묶음