정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?
Goedel-Prover는 Lean 4 명제와 새 증명을 반복해 학습자료로 늘렸습니다.
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
Goedel-Prover는 Lean 4 명제와 새 증명을 반복해 학습자료로 늘렸습니다.
Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving
폴리로그 연구는 다자 토론을 여러 입장·역할·연합이 변하는 상호작용으로 봅니다.
Argumentative Polylogues in a Dialectical Framework: A Methodological Inquiry
Berglund는 설명변수의 무작위 측정오차가 회귀계수를 0 쪽으로 끌어당기는 회귀 희석과 반복 측정 기반 보정·표본수 설계를 설명했다.
Regression dilution bias: Tools for correction methods and sample size calculation
체코 대학생 110명을 무작위 배정한 2×2 실험에서 메타인지 프롬프트의 지식검사 효과가 유의하지 않았고 자료 형식과 개인차가 중요했음을 살펴봅니다.
Exploring the effects of metacognitive prompts on learning outcomes: An experimental study in higher education
음성대조는 효과가 없어야 할 곳의 연관으로 관찰연구 편향을 진단합니다.
Negative Controls: A Tool for Detecting Confounding and Bias in Observational Studies
16–20 / 45편