연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
DeepSeek-Prover-V2는 비형식 풀이를 하위 목표로 재귀 분해해 형식 추론의 학습 자료와 보상 구조를 만든다.
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
39개 연구 메타분석은 가르칠 예정임을 알고 준비한 뒤 가르칠 때 이득이 컸고 기대 없이 가르친 조건은 0과 구별되지 않았다고 보고했습니다.
Interactive Learning Effects of Preparing to Teach and Teaching: a Meta-Analytic Approach
Orona와 Trautwein의 두 무작위 연구는 7주 사고성향 교육이 인지반성 수행을 높였지만 자기보고 성향 변화가 그 효과를 매개한다는 증거는 약했다고 보고했다.
Thinking disposition education improves cognitive reflection: Experimental results from an intervention study
Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.
Type Theory
Correll·Moritz·Heer는 값-억제 불확실성 팔레트를 제안하고 두 온라인 실험에서 읽기 성능과 위험 선택이 어떻게 달라지는지 평가했습니다.
Value-Suppressing Uncertainty Palettes
76–80 / 142편
