{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T22:00:05Z","timestamp":1781388005008,"version":"3.54.1"},"reference-count":23,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["INFOR: Information Systems and Operational Research"],"published-print":{"date-parts":[[2024,11,4]]},"DOI":"10.1080\/03155986.2024.2381306","type":"journal-article","created":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T18:54:29Z","timestamp":1723056869000},"page":"599-617","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":13,"title":["Optimization modeling and verification from problem specifications using a multi-agent multi-stage LLM framework"],"prefix":"10.1080","volume":"62","author":[{"given":"Mahdi","family":"Mostajabdaveh","sequence":"first","affiliation":[{"name":"Big Data and Intelligence Platform Lab, Huawei Technologies, Vancouver, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Timothy T.","family":"Yu","sequence":"additional","affiliation":[{"name":"Big Data and Intelligence Platform Lab, Huawei Technologies, Vancouver, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rindranirina","family":"Ramamonjison","sequence":"additional","affiliation":[{"name":"Big Data and Intelligence Platform Lab, Huawei Technologies, Vancouver, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuseppe","family":"Carenini","sequence":"additional","affiliation":[{"name":"Computer Science Department, University of British Columbia, Vancouver, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zirui","family":"Zhou","sequence":"additional","affiliation":[{"name":"Big Data and Intelligence Platform Lab, Huawei Technologies, Vancouver, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yong","family":"Zhang","sequence":"additional","affiliation":[{"name":"Big Data and Intelligence Platform Lab, Huawei Technologies, Vancouver, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"301","published-online":{"date-parts":[[2024,8,7]]},"reference":[{"key":"e_1_3_3_2_1","unstructured":"AhmadiTeshnizi A Gao W Udell M. 2023. OptiMUS: optimization modeling using mip solvers and large language models. arXiv preprint arXiv:2310.06116"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1080\/15472450802023329"},{"key":"e_1_3_3_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33558-7_13"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.08.001"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511753886"},{"key":"e_1_3_3_7_1","doi-asserted-by":"crossref","unstructured":"Fan Z Ghaddar B Wang X Xing L Zhang Y Zhou Z. 2024. Artificial intelligence for operations research: revolutionizing the operations research process. arXiv preprint arXiv:2401.03244.","DOI":"10.1080\/03155986.2024.2406729"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-42753-4_9"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1287\/ijoc.14.4.295.2828"},{"key":"e_1_3_3_10_1","doi-asserted-by":"publisher","DOI":"10.1057\/hs.2012.18"},{"key":"e_1_3_3_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2022.106014"},{"key":"e_1_3_3_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74970-7_38"},{"key":"e_1_3_3_13_1","unstructured":"Nijkamp E Pang B Hayashi H Tu L Wang H Zhou Y Savarese S Xiong C. 2022. Codegen: an open large language model for code with multi-turn program synthesis. In: The Eleventh International Conference on Learning Representations 2023 May 1 Kigali Rwanda."},{"key":"e_1_3_3_14_1","volume-title":"The definitive ANTLR 4 reference","author":"Parr T.","year":"2013","unstructured":"Parr T. 2013. The definitive ANTLR 4 reference. 2nd ed. Raleigh (NC): Pragmatic Bookshelf.","edition":"2"},{"key":"e_1_3_3_15_1","unstructured":"Peng S Yuan K Gao L Tang Z. 2021. MathBERT: a pre-trained model for mathematical formula understanding. arXiv preprint arXiv:2105.00377."},{"key":"e_1_3_3_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/01605682.2023.2253852"},{"key":"e_1_3_3_17_1","first-page":"29","volume-title":"Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing: Industry Track","author":"Ramamonjison R","year":"2022","unstructured":"Ramamonjison R, Li H, Yu T, He S, Rengan V, Banitalebi-Dehkordi A, Zhou Z, Zhang Y. 2022. Augmenting operations research with auto-formulation of optimization models from problem descriptions. In: Li Y, Lazaridou A, editors. Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing: Industry Track; Abu Dhabi, UAE. ACL, Kerrville, USA. p. 29\u201362."},{"key":"e_1_3_3_18_1","first-page":"189","volume-title":"NeurIPS 2022 competition track","author":"Ramamonjison R","year":"2022","unstructured":"Ramamonjison R, Yu T, Li R, Li H, Carenini G, Ghaddar B, He S, Mostajabdaveh M, Banitalebi-Dehkordi A, Zhou Z, et\u00a0al. 2022. NL4Opt competition: formulating optimization problems based on their natural language descriptions. In: Ciccone M, Stolovitzky G, Albrecht J, editors. NeurIPS 2022 competition track. PMLR; p. 189\u2013203."},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.acl-demo.45"},{"key":"e_1_3_3_20_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1410"},{"key":"e_1_3_3_21_1","unstructured":"Rozi\u00e8re B Gehring J Gloeckle F Sootla S Gat I Tan XE Adi Y Liu J Remez T Rapin J et\u00a0al. 2023. Code llama: open foundation models for code. arXiv preprint arXiv:2308.12950."},{"key":"e_1_3_3_22_1","first-page":"030","volume-title":"International series in operations research and management science","author":"S\u00e1nchez JMG.","year":"2021","unstructured":"S\u00e1nchez JMG. 2021. Modelling in mathematical programming. In: Price CC, editor. International series in operations research and management science. Switzerland: Springer Nature; p. 030\u201357250."},{"key":"e_1_3_3_23_1","unstructured":"Tsouros D Verhaeghe H Kad\u0131o\u011flu S Guns T. 2023. Holy Grail 2.0: from natural language to constraint models. arXiv preprint arXiv:2308.01589."},{"key":"e_1_3_3_24_1","unstructured":"Tunstall L Beeching E Lambert N Rajani N Rasul K Belkada Y Huang S von Werra L Fourrier C Habib N et\u00a0al. 2023. Zephyr: direct distillation of LM alignment. arXiv preprint arXiv:2310.16944."}],"container-title":["INFOR: Information Systems and Operational Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/03155986.2024.2381306","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,14]],"date-time":"2024-11-14T17:20:39Z","timestamp":1731604839000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/03155986.2024.2381306"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,7]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,11,4]]}},"alternative-id":["10.1080\/03155986.2024.2381306"],"URL":"https:\/\/doi.org\/10.1080\/03155986.2024.2381306","relation":{},"ISSN":["0315-5986","1916-0615"],"issn-type":[{"value":"0315-5986","type":"print"},{"value":"1916-0615","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,8,7]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tinf20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tinf20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-12-06","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-03-24","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-06-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}