연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
세 실험은 개념을 일부러 잘못 설명하고 곧바로 고치는 활동을 오류 없는 정교화나 남의 오류 수정과 비교했습니다.
Deliberate Erring Improves Far Transfer of Learning More Than Errorless Elaboration and Spotting and Correcting Others’ Errors
불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.
Gödel’s Incompleteness Theorems
명세 곡선 분석은 타당한 분석 선택들을 함께 드러냅니다. 결론 하나만 읽을 때 놓치기 쉬운 선택의 영향을 살펴봅니다.
Specification curve analysis
Logic-LM은 언어모델의 형식화와 기호 솔버의 판정을 결합하고 오류 메시지로 번역을 고치는 절차를 평가했습니다.
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
41–45 / 46편
