mathematical-rigor

수학적 증명이나 유도 과정에서 논리적 빈틈이 없는 상태를 의미한다. LLM이 환각 현상 없이 정확한 수식을 산출하는 능력을 평가하는 핵심 척도이다.