8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?
Kimina-Prover Preview v1의 강화학습과 miniF2F pass@8192 결과를 살펴보며 대규모 후보 탐색 성과와 단일 시도 능력, 형식 검증 비용을 구분한다.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

해외 학술 연구의 7개 분야
Kimina-Prover Preview v1의 강화학습과 miniF2F pass@8192 결과를 살펴보며 대규모 후보 탐색 성과와 단일 시도 능력, 형식 검증 비용을 구분한다.
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
동료 피드백 효과는 무피드백·자기평가·교사 피드백 중 비교대상에 따라 달랐습니다.
The Impact of Formative Peer Feedback on Higher Education Students’ Academic Writing: a Meta-Analysis
10년간의 Peer Instruction 자료는 개념 질문·개별 응답·동료 토론·재응답의 결합과 성취 향상을 보고하지만 무작위 실험은 아닙니다.
Peer Instruction: Ten Years of Experience and Results
온라인 토론 자료 연구는 설득 여부가 문장 특징뿐 아니라 참여 시점과 왕복 대화 같은 상호작용과 연결됨을 보여 줍니다.
Winning Arguments: Interaction Dynamics and Persuasion Strategies in Good-faith Online Discussions
설명과 예측은 서로 다른 질문입니다. 슈무엘리의 방법론 연구를 통해 모형의 목적, 사용할 수 있는 정보, 평가 방법을 함께 살펴봅니다.
To Explain or to Predict?
341–345 / 484묶음