수학 문제 해결을 위한 신뢰할 수 없는 LLM의 자동 공식화 검증

LLM은 수학 문제를 해결할 수 있지만, 논리적 오류와 계산 오류가 발생할 수 있다. 이를 해결하기 위해 LLM의 자동 공식화 기능을 활용하여 해결책의 일관성을 검증할 수 있다.