cs.CLMar 19, 2026

Mathematical Reasoning Enhanced LLM for Formula Derivation: A Case Study on Fiber NLI Modellin

Authors: Yao Zhang, Yuchen Song, Xiao Luo, Shengnan Li, Xiaotian Jiang, Min Zhang, Danshi Wang

Organizations: State Key Laboratory of Information Photonics and Optical Communications, Beijing University of Posts and Telecommunications, Beijing 100876, China

Abstract

Recent advances in large language models (LLMs) have demonstrated strong capabilities in code generation and text synthesis, yet their potential for symbolic physical reasoning in domain-specific scientific problems remains underexplored. We present a mathematical reasoning enhanced generative AI approach for optical communication formula derivation, focusing on the fiber nonlinear interference modelling. By guiding an LLM with structured prompts, we successfully reconstructed the known closed-form ISRS GN expressions and further derived a novel approximation tailored for multi-span C and C+L band transmissions. Numerical validations show that the LLM-derived model produces central-channel GSNRs nearly identical to baseline models, with mean absolute error across all channels and spans below 0.109 dB, demonstrating both physical consistency and practical accuracy.

Explore similar work

CardsList
  1. Evaluation of LLMs for Mathematical Formalization in Lean

    Jun 4, 2026Tyson Klingner, Drew Bladek, Escher Crawford +6LLM EvaluationLean Theorem Proving

  2. How Well Can LLMs Verbalize Mathematical Formulas? A Multi-Domain Evaluation

    Oct 17, 2026Peter Volbach, Tim SchlippeLanguage Model Generation EvaluationLLM Evaluation

  3. SciText2Eq: Assessing LLMs for Explainable Equation Generation for Scientific Creativity

    Jun 14, 2026Yifan Mo, Xiao Fu, Yue Su +4AI for ScienceLLM Evaluation