연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
DeepSeek-Prover-V2는 비형식 풀이를 하위 목표로 재귀 분해해 형식 추론의 학습 자료와 보상 구조를 만든다.
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
AlphaProof는 Lean 검증 환경, 대규모 자기학습과 문제별 시험시점 강화학습을 결합해 2024 IMO 비기하 5문제 중 3문제를 풀었지만 막대한 계산비용과 형식화 범위가 제한입니다.
Olympiad-level Formal Mathematical Reasoning with Reinforcement Learning
Ineq-Comp v2를 바탕으로 익숙한 부등식의 변수 복제·대수 재작성·다단계 합성이 현재 Lean 증명 모델의 구성적 일반화를 크게 흔드는지 살펴봅니다.
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
시각화 수사 연구는 선택·강조·배치·주석이 독자의 해석 경로를 형성함을 사례 코딩으로 보이며, 정확한 수치만으로 중립성이 보장되지 않음을 설명합니다.
Visualization Rhetoric: Framing Effects in Narrative Visualization
Atkinson·Derry·Renkl·Wortham은 풀이예시 연구를 인지부하 관점에서 종합해 예시-문제 쌍, 단계 표지, 자기설명과 점진적 빈칸의 설계 원리를 제안했습니다.
Learning from Examples: Instructional Principles from the Worked Examples Research
51–55 / 91편
