Re:L
LLM이 기하 문제를 형식 언어로 자동 변환하는 능력을 평가하는 벤치마크 'NL2AGBench' | Re:L