LOTS-OResearch Notes

2건의 항목

2건2025.06 — 2026.04
2026.04.07
개념 노트

1차 논리 (First-Order Logic)

1차 논리(FOL)는 객체에 대한 진술을 상수·변수·술어·양화사로 구조화하여, 속성·관계·일반 규칙을 형식적으로 표현하고 추론할 수 있게 하는 논리 체계이다.

↻ 2026.10.094 min
2025.06.01
개념 노트

MATH-500

무엇인가: OpenAI가 Let&039;s Verify Step by Step에서 held-out 평가셋으로 사용한 500개의 수학 문제 서브셋. 왜 중요한가: OpenAI의 "Let&039;s Verify Step by Ste...

↻ 2026.10.093 min