Conference
Aug 2026
Dual-Side Verification for Trustworthy LLM-Based Constrained Resource-Task Assignment Modeling
Constrained resource-task assignment(RTA) is a foundational problem in operations research and engineering decision support. Turning a natural-language assignment description into a correct optimization model and executable solver code requires expertise in both application semantics and mathematical programming. Large...
Bing-Xu Zhang, Tian-Le Pu, Long-Fei Zhang et al.
· 2026 12th International Conf... · 0 citations