formal-language
수학적 논리나 프로그래밍 언어처럼 엄격한 문법과 의미 규칙을 가진 언어이다. 언어 모델의 모호한 추론을 정밀하게 검증하는 도구로 쓰인다.
수학적 추론의 한계 돌파: 자연어와 정형 언어를 잇는 새로운 방법론
SLM과 LLM의 수학적 추론 성능을 극대화하는 새로운 접근법