사전등록은 적어 두기만 하면 충분할까?
53쌍의 사전등록과 논문 비교는 분석 결정의 구체성과 일치 여부가 핵심임을 보여 줍니다.
Ensuring the quality and specificity of preregistrations
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
해외 학술 연구
해외 학술 연구
그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.
해외 학술 연구의 7개 분야
해외 학술 연구448편 · 417묶음
검색 결과 제목
예방책이 사후 해결책도 된다고 말해도 될까?
Aikin과 Talisse는 문제를 막았을 수단이 이미 생긴 문제를 고치는 수단이기도 하다는 비약을 ‘치유 오류’로 분석합니다.
The Curative Fallacy
게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?
DeepSeek-Prover-V1.5는 Lean 4 검증 피드백을 강화학습과 트리 탐색에 이용해 형식증명 성능을 평가했습니다.
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?
GamePad는 Coq 증명을 목표·맥락·전술·하위 목표의 상태 전이로 노출해 AI가 남은 거리와 다음 전술을 학습하도록 했습니다.
GamePad: A Learning Environment for Theorem Proving
게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
발표되지 않은 연구가 빠지면 결론은 얼마나 달라질까?
Bartoš 등은 네 분야 6만8천여 메타분석을 다시 분석해 선택 편향 보정 뒤 효과 존재 확률과 크기가 흔히 줄어드는 흔적을 보고했습니다.
Footprint of Publication Selection Bias on Meta-analyses in Medicine, Environmental Sciences, Psychology, and Economics
게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
391–395 / 417묶음