정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?
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
Toolformer는 도구 호출 후보를 만들고 실제 결과가 다음 단어 예측에 도움이 되는지 걸러 학습합니다. 도구의 계산 정확도와 호출 선택의 적절성을 구분합니다.
Toolformer: Language Models Can Teach Themselves to Use Tools
Llemma는 수학·과학·형식 코드로 계속 사전학습해 여러 과제에서 강한 성능을 보였지만 정답성과 기계검증은 구분됩니다.
Llemma: An Open Language Model for Mathematics
대규모 시각화 기억 연구는 독특함과 색·사람 모양의 기억 효과를 보였지만 이해 정확성과는 구분해야 합니다.
What Makes a Visualization Memorable?
체코 대학생 110명을 무작위 배정한 2×2 실험에서 메타인지 프롬프트의 지식검사 효과가 유의하지 않았고 자료 형식과 개인차가 중요했음을 살펴봅니다.
Exploring the effects of metacognitive prompts on learning outcomes: An experimental study in higher education
146–150 / 259편