연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
PutnamBench는 640개 대학 수학문제를 Lean 4·Isabelle과 일부 Coq로 1,692회 형식화해 언어별 자동증명기의 강점과 난도를 비교했습니다.
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
타당화 논증은 관찰에서 채점, 일반화, 실제 수행, 활용 결정으로 넘어가는 근거를 살핍니다. 점수의 정확성과 점수 사용의 정당성을 구별합니다.
A contemporary approach to validity arguments: a practical guide to Kane’s framework
15개 STEM 연구 메타분석은 평균 향상과 격차 축소가 같지 않음을 보였습니다.
Active Learning Narrows Achievement Gaps for Underrepresented Students in Undergraduate STEM
Truth or Square 연구의 세 실험을 통해 막대의 가로세로 비율이 위치값 기억을 정사각형 쪽으로 끌어당기는 편향을 만들 수 있음을 살펴봅니다.
Truth or Square: Aspect Ratio Biases Recall of Position Encodings
Simonovic와 동료들의 148명 사전-사후 비교는 짧은 온라인 개입 뒤 인지반성·논증평가는 향상됐지만 분석적 글쓰기와 비판적 사고 가치 평가는 같은 패턴을 보이지 않았다고 보고했다.
It is not what you think it is how you think: A critical thinking intervention enhances argumentation, analytic thinking and metacognitive sensitivity
16–20 / 48편
