사람의 풀이 개요가 자동 증명기의 길잡이가 될 수 있을까?
Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
Jiang 등은 488개 miniF2F 문제에서 비형식 풀이→형식 스케치→자동 증명의 세 단계를 결합해 Isabelle 검증 성공률을 높였습니다.
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
참인 문장이 들어오면 가능한 상황의 범위가 어떻게 바뀌는가?
Logic and Information
Baron·Beattie·Hershey의 여섯 실험은 진단 가설과 맞는 검사 선호, 행동을 바꾸지 못하는 정보 탐색, 확신 과잉을 분리해 조사했습니다.
Heuristics and Biases in Diagnostic Reasoning: II. Congruence, Information, and Certainty
37개 실험·준실험을 종합한 연구는 ‘탐구’의 구성요소와 교사 주도 정도를 구분해야 평균 효과를 해석할 수 있음을 보여 줍니다.
Experimental and Quasi-Experimental Studies of Inquiry-Based Science Teaching: A Meta-Analysis
Schumann과 Oswald의 두 실험은 단순 반복보다 동사·부사를 강화한 재진술이 결과의 정당성과 설득력을 더 높게 평가받는 경향을 보였습니다.
The Effect of Intensification Through Rephrasing on Argument Persuasiveness
126–130 / 420편