TY - RPRT TI - Mathematical Reasoning Enhanced LLM for Formula Derivation: A Case Study on Fiber NLI Modellin AU - Yao Zhang AU - Yuchen Song AU - Xiao Luo AU - Shengnan Li AU - Xiaotian Jiang AU - Min Zhang AU - Danshi Wang PY - 2026 UR - https://arxiv.org/abs/2604.13062 ID - 2604.13062 ER -