자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
NaturalProver는 배경 정리와 정의를 조건으로 자연어 증명 단계를 생성해 사람 평가를 개선했지만, 형식 검사기가 없는 자연어 증명은 여전히 인간 검토가 필요했습니다.
NaturalProver: Grounded Mathematical Proof Generation With Language Models
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
NaturalProver는 배경 정리와 정의를 조건으로 자연어 증명 단계를 생성해 사람 평가를 개선했지만, 형식 검사기가 없는 자연어 증명은 여전히 인간 검토가 필요했습니다.
NaturalProver: Grounded Mathematical Proof Generation With Language Models
무작위로 물건을 받은 판매자는 구매자보다 높은 값을 요구했고, 소유권의 기준점 효과가 반복 거래에서도 관찰됐습니다.
Experimental Tests of the Endowment Effect and the Coase Theorem
Fox와 Clemen의 다섯 연구를 바탕으로 같은 사건 공간도 선택지 분할 방식에 따라 각 항목의 주관확률이 균등한 ‘무지 사전분포’ 쪽으로 끌릴 수 있음을 설명합니다.
Subjective Probability Assessment in Decision Analysis: Partition Dependence and Bias Toward the Ignorance Prior
온라인 토론 자료 연구는 설득 여부가 문장 특징뿐 아니라 참여 시점과 왕복 대화 같은 상호작용과 연결됨을 보여 줍니다.
Winning Arguments: Interaction Dynamics and Persuasion Strategies in Good-faith Online Discussions
Goldstein·Crowell·Kuhn은 논증을 직접 만드는 수행과 제시된 논증을 평가하는 판단을 같은 도구로 보지 말아야 한다고 보여 줬다.
What Constitutes Skilled Argumentation and How Does it Develop?
61–65 / 97편