Digital garden
검색
2건의 항목
무엇인가: OpenAI가 Let’s Verify Step by Step에서 held-out 평가셋으로 사용한 500개의 수학 문제 서브셋. 왜 중요한가: OpenAI의 “Let’s Verify Step by Step” 연구의 핵심 평가...
1차 논리(FOL)는 객체에 대한 진술을 상수·변수·술어·양화사로 구조화하여, 속성·관계·일반 규칙을 형식적으로 표현하고 추론할 수 있게 하는 논리 체계이다.
