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

arXiv: https://arxiv.org/abs/2604.13062 · HTML: https://mlsanity.com/paper/2604.13062/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Placed in Mathematical reasoning, one of 17 directions in LLM reasoning.
- Builds on 4 of its 23 references that are in the map.
- First posted on arXiv 19 Mar 2026.

## Placed in

- LLM reasoning / [Mathematical reasoning](https://mlsanity.com/lr/mathematical-reasoning/)

## Builds on (most cited first, 4 of 4)

- [Synergistic Interplay of Large Language Model and Digital Twin for Autonomous Optical Networks: Field Demonstrations](https://mlsanity.com/paper/2411.00473/) (2024)
- [Generative AI-Driven Hierarchical Multi-Agent Framework for Zero-Touch Optical Networks](https://mlsanity.com/paper/2510.05625/) (2025)
- [The Gaussian Noise Model in the Presence of Inter-channel Stimulated Raman Scattering](https://mlsanity.com/paper/1801.02460/) (2017)
- [A Closed-Form Approximation of the Gaussian Noise Model in the Presence of Inter-Channel Stimulated Raman Scattering](https://mlsanity.com/paper/1808.07940/) (2018)

## Abstract (arXiv)

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.
