연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
Kimina-Prover Preview v1의 강화학습과 miniF2F pass@8192 결과를 살펴보며 대규모 후보 탐색 성과와 단일 시도 능력, 형식 검증 비용을 구분한다.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
또래 대화가 포함된 논증 활동은 반론 전략 발달에 추가 기회를 제공했습니다.
The Development of Argument Skills
동료 피드백 효과는 무피드백·자기평가·교사 피드백 중 비교대상에 따라 달랐습니다.
The Impact of Formative Peer Feedback on Higher Education Students’ Academic Writing: a Meta-Analysis
그래프의 숫자는 같아도 위치·길이·각도·넓이 가운데 어떤 시각 과제를 요구하느냐에 따라 판독 정확도가 달라집니다.
Graphical Perception: Theory, Experimentation, and Application to the Development of Graphical Methods
확률논리는 ‘참/거짓’과 수치적 불확실성을 여러 방식으로 결합합니다. 귀납적 추측과 확률 제약에서의 연역적 함의를 구별해 봅니다.
Logic and Probability
136–140 / 225편
