cs.AIApr 2, 2026

NED-Tree: Bridging the Semantic Gap with Nonlinear Element Decomposition Tree for LLM Nonlinear Optimization Modeling

Authors: Zhijing Hu, Yufan Deng, Haoyang Liu, Changjun Fan

Organizations: College of System Engineering, National University of Defense Technology · University of Science and Technology of China

Abstract

Automating the translation of Operations Research (OR) problems from natural language to executable models is a critical challenge. While Large Language Models (LLMs) have shown promise in linear tasks, they suffer from severe performance degradation in real-world nonlinear scenarios due to semantic misalignment between mathematical formulations and solver codes, as well as unstable information extraction. In this study, we introduce NED-Tree, a systematic framework designed to bridge the semantic gap. NED-Tree employs (a) a sentence-by-sentence extraction strategy to ensure robust parameter mapping and traceability; and (b) a recursive tree-based structure that adaptively decomposes complex nonlinear terms into solver-compatible sub-elements. Additionally, we present NEXTOR, a novel benchmark specifically designed for complex nonlinear, extensive-constraint OR problems. Experiments across 10 benchmarks demonstrate that NED-Tree establishes a new state-of-the-art with 72.51% average accuracy, NED-Tree is the first framework that drives LLMs to resolve nonlinear modeling difficulties through element decomposition, achieving alignment between modeling semantics and code semantics. The NED-Tree framework and benchmark are accessible in the anonymous repository https://anonymous.4open.science/r/NORA-NEXTOR.

Figures & tables

Appendix figures & tables4 assets

Supplementary material from the paper’s appendix.

Appendix

Explore similar work

CardsList
  1. SemOPT: Fixing Semantic Errors in LLM-based Optimization Modeling via Reward-Guided Search

    Sep 29, 2026Zetong Zhou, Wentao Zhang, Jingyuan Wang +3Language Model Error DetectionLarge Language Model-Guided Optimization

  2. SOVER: Formal Certification of Optimization Reformulations via LLM-Assisted SMT Verification

    Sep 1, 2026Swapnil Bhattacharyya, Mayank BaranwalLarge Language Model-Guided Optimization

  3. COOPA: A Modular LLM Agent Architecture for Operations Research Problems

    Jun 25, 2026Chuanhao Li, Xiaoan Xu, Dirk Bergemann +3Multi-Agent LLM SystemsMulti-Agent Orchestration