연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
PutnamBench는 640개 대학 수학문제를 Lean 4·Isabelle과 일부 Coq로 1,692회 형식화해 언어별 자동증명기의 강점과 난도를 비교했습니다.
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
장기기증 연구는 동일한 선택도 참여 또는 비참여 기본값에 따라 동의율이 크게 달라질 수 있음을 보였습니다.
Do Defaults Save Lives?
직접 그리기 실험은 그림의 정확성, 내용 회상, 새로운 상황으로의 적용을 서로 다른 결과로 측정해야 함을 보여 줍니다.
Learning with self-generated drawings and the impact of learners’ emotional states
126명의 7학년생이 같은 문제를 3개월간 막음·교차 배열로 연습한 연구에서 교차 연습은 1일·30일 뒤 예고 없는 시험 모두 더 높은 성과를 보였습니다.
Interleaved Practice Improves Mathematics Learning
온라인 토론 자료 연구는 설득 여부가 문장 특징뿐 아니라 참여 시점과 왕복 대화 같은 상호작용과 연결됨을 보여 줍니다.
Winning Arguments: Interaction Dynamics and Persuasion Strategies in Good-faith Online Discussions
16–20 / 37편
