연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
48개 메타인지 전략 개입의 후속검사를 종합한 연구는 평균 효과가 유지됐지만 연구·처치의 다양성과 비교 설계를 함께 보아야 함을 보여 줍니다.
Long-term Effects of Metacognitive Strategy Instruction on Student Academic Performance: A Meta-analysis
MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.
MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
음성대조는 효과가 없어야 할 곳의 연관으로 관찰연구 편향을 진단합니다.
Negative Controls: A Tool for Detecting Confounding and Bias in Observational Studies
오즈비를 위험확률 비로 번역하면 언제 큰 오류가 생기는가?
When can odds ratios mislead? Odds ratios should be used only in case-control studies and logistic regression analyses
Lean Meets Theoretical Computer Science는 매개변수화한 Busy Beaver·혼합 불 대수 문제로 단계 성공률과 전체 증명 성공률의 큰 차이를 드러낸다.
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
16–20 / 30편
