연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
자료를 본 뒤 자연스럽게 내린 선택들이 결합하면 보이지 않는 다중 비교가 생길 수 있습니다. 분석 선택지를 켜고 끄며 가능한 경로 수를 확인하세요.
The Garden of Forking Paths: Why Multiple Comparisons Can Be a Problem, Even When There Is No “Fishing Expedition” or “p-Hacking” and the Research Hypothesis Was Posited Ahead of Time
Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
편향 맹점 연구는 편향을 자신보다 타인에게 더 강하게 보는 비대칭을 보고합니다.
The Bias Blind Spot: Perceptions of Bias in Self Versus Others
세 실험은 개념을 일부러 잘못 설명하고 곧바로 고치는 활동을 오류 없는 정교화나 남의 오류 수정과 비교했습니다.
Deliberate Erring Improves Far Transfer of Learning More Than Errorless Elaboration and Spotting and Correcting Others’ Errors
53쌍의 사전등록과 논문 비교는 분석 결정의 구체성과 일치 여부가 핵심임을 보여 줍니다.
Ensuring the quality and specificity of preregistrations
1–5 / 6편
