56 citations · 56 across the 4 of their papers we have counts for
Showing math.OCShow all
2 papers · 1 filter
math.OC2026
ORSMT: Unleashing the Potential of Satisfiability Modulo Theories for Semantic Verification and Repair in LLM-Based Optimization
Rui Zhang, Chenyu Zhou, Jianghao Lin +3
Large language models increasingly automate optimization modeling from natural language problems, producing written mathematics, solver code and a returned report. Verifying one op…
math.OC2026
From Soliloquy to Agora: Memory-Enhanced LLM Agents with Decentralized Debate for Optimization Modeling
Jianghao Lin, Zi Ling, Chenyu Zhou +4
Optimization modeling underpins real-world decision-making in logistics, manufacturing, energy, and public services, but reliably solving such problems from natural-language requir…