{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T10:11:52Z","timestamp":1783764712548,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100004489","name":"Mitacs","doi-asserted-by":"publisher","award":["IT40693"],"award-info":[{"award-number":["IT40693"]}],"id":[{"id":"10.13039\/501100004489","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786583.3786879","type":"proceedings-article","created":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:12:14Z","timestamp":1783761134000},"page":"362-373","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3851-6612","authenticated-orcid":false,"given":"Negin","family":"Ayoughi","sequence":"first","affiliation":[{"name":"EECS, University of Ottawa, Ottawa, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1162-2207","authenticated-orcid":false,"given":"David","family":"Dewar","sequence":"additional","affiliation":[{"name":"Kinaxis, Ottawa, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0281-8231","authenticated-orcid":false,"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"EECS, University of Ottawa, Ottawa, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4711-8319","authenticated-orcid":false,"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[{"name":"EECS, University of Ottawa, Ottawa, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,11]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3650105.3652290"},{"key":"e_1_3_3_1_3_2","series-title":"Proceedings of Machine Learning Research","first-page":"577","volume-title":"41st International Conference on Machine Learning, (ICML 2024)","volume":"235","author":"AhmadiTeshnizi Ali","year":"2024","unstructured":"Ali AhmadiTeshnizi, Wenzhi Gao, and Madeleine Udell. 2024. OptiMUS: Scalable Optimization Modeling with (MI)LP Solvers and Large Language Models. In 41st International Conference on Machine Learning, (ICML 2024)(Proceedings of Machine Learning Research, Vol.\u00a0235). PMLR, Online, 577\u2013596."},{"key":"e_1_3_3_1_4_2","unstructured":"AMPL. 2025. AMPL. https:\/\/ampl.com\/. Last accessed: 2025-09-24."},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976769"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Chetan Arora Mehrdad Sabetzadeh Shiva Nejati and Lionel Briand. 2019. An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. ACM Transactions on Software Engineering and Methodology 28 1 (2019) 4:1\u20134:34. 10.1145\/3293454","DOI":"10.1145\/3293454"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Negin Ayoughi. 2025. Models or Code? Evaluating the Quality of LLM-Generated Specifications for Mathematical Optimization. Zenodo. 10.5281\/zenodo.18023598Artifacts and Supplementary Material [Online]. Available: https:\/\/github.com\/neayoughi\/EXEOS.git.","DOI":"10.5281\/zenodo.18023598"},{"key":"e_1_3_3_1_8_2","volume-title":"Prompt Outlines and Examples for EXEOS","author":"Ayoughi Negin","year":"2025","unstructured":"Negin Ayoughi, David Dewar, Shiva Nejati, and Mehrdad Sabetzadeh. 2025. Prompt Outlines and Examples for EXEOS. EXEOS. https:\/\/bit.ly\/EXEOS-Prompts Supplementary Document (PDF), EXEOS repository."},{"key":"e_1_3_3_1_9_2","volume-title":"Statistical Test Results for RQ1\u2013RQ4","author":"Ayoughi Negin","year":"2025","unstructured":"Negin Ayoughi, David Dewar, Shiva Nejati, and Mehrdad Sabetzadeh. 2025. Statistical Test Results for RQ1\u2013RQ4. EXEOS. https:\/\/bit.ly\/EXEOS-Results Supplementary Document (PDF), EXEOS repository."},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.5555\/548834"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/REW57809.2023.00052"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Boqi Chen Ou Wei Bingzhou Zheng and Gunter Mussbacher. 2025. Accurate and Consistent Graph Model Generation from Text with Large Language Models. CoRR abs\/2508.00255 (2025) 12. 10.48550\/ARXIV.2508.00255To appear in ACM\/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025).","DOI":"10.48550\/ARXIV.2508.00255"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.18653\/V1\/2023.EMNLP-MAIN.985"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","unstructured":"Gheorghe Comanici et\u00a0al. 2025. Gemini 2.5: Pushing the frontier with advanced reasoning multimodality long context and next generation agentic capabilities. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2507.06261 abs\/2507.06261 (2025) 72. 10.48550\/arXiv.2507.06261","DOI":"10.48550\/arXiv.2507.06261"},{"key":"e_1_3_3_1_15_2","volume-title":"Practical Nonparametric Statistics (3 ed.)","author":"Conover William","year":"1999","unstructured":"William Conover. 1999. Practical Nonparametric Statistics (3 ed.). Wiley & Sons, New York."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_18"},{"key":"e_1_3_3_1_17_2","unstructured":"Cucumber. 2024. Gherkin. http:\/\/bit.ly\/3Vw6pp1. Last accessed: 2025-09-24."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","unstructured":"Eelco Dolstra Andres L\u00f6h and Nicolas Pierron. 2010. NixOS: A purely functional Linux distribution. The Journal of Functional Programming Volume 20 20 5-6 (2010) 577\u2013615. 10.1017\/S0956796810000195","DOI":"10.1017\/S0956796810000195"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Madeline Endres Sarah Fakhoury Saikat Chakraborty and Shuvendu\u00a0K. Lahiri. 2024. Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Proceedings of the ACM on Software Engineering 1 32nd ACM International Conference on the Foundations of Software Engineering (FSE 2024) (2024) 1889\u20131912. 10.1145\/3660791","DOI":"10.1145\/3660791"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/REW61692.2024.00044"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"Robert Fourer David\u00a0M Gay and Brian\u00a0W Kernighan. 1990. A modeling language for mathematical programming. Management Science 36 5 (1990) 519\u2013554.","DOI":"10.1287\/mnsc.36.5.519"},{"key":"e_1_3_3_1_22_2","unstructured":"Gurobi Optimization LLC. 2025. Gurobi. https:\/\/www.gurobi.com\/. Last accessed: 2025-09-24."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985882"},{"key":"e_1_3_3_1_24_2","unstructured":"IBM. 2025. ILOG CPLEX Optimization Studio. https:\/\/www.ibm.com\/products\/ilog-cplex-optimization-studio. Last accessed: 2025-09-24."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3640310.3674081"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Sathvik Joel Jie\u00a0JW Wu and Fatemeh\u00a0H. Fard. 2025. A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages. ACM Transactions on Software Engineering and Methodology 0 ja (2025) 64. 10.1145\/3770084Just Accepted.","DOI":"10.1145\/3770084"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Fr\u00e9d\u00e9ric Jouault Freddy Allilaire Jean B\u00e9zivin and Ivan Kurtev. 2008. ATL: A model transformation tool. Science of Computer Programming 72 1-2 (2008) 31\u201339. 10.1016\/J.SCICO.2007.08.002","DOI":"10.1016\/J.SCICO.2007.08.002"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","unstructured":"Parham Khamsepour Mark Cole Ish Ashraf Sandeep Puri Mehrdad Sabetzadeh and Shiva Nejati. 2025. The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2509.03463 abs\/2509.03463 (2025) 22. 10.48550\/arXiv.2509.03463","DOI":"10.48550\/arXiv.2509.03463"},{"key":"e_1_3_3_1_29_2","unstructured":"Puppet Labs. 2025. Puppet Language Specification. https:\/\/github.com\/puppetlabs\/puppet-specifications. Last accessed: 2025-09-24."},{"key":"e_1_3_3_1_30_2","volume-title":"Essentials of Metaheuristics (second ed.)","author":"Luke Sean","year":"2013","unstructured":"Sean Luke. 2013. Essentials of Metaheuristics (second ed.). Lulu, Morrisville, NC, USA. https:\/\/cs.gmu.edu\/\u00a0sean\/book\/metaheuristics\/"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3191315.3191317"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103685"},{"key":"e_1_3_3_1_33_2","volume-title":"Applied statistics and probability for engineers","author":"Montgomery Douglas","year":"2019","unstructured":"Douglas Montgomery and George Runger. 2019. Applied statistics and probability for engineers. Wiley & Sons, New York."},{"key":"e_1_3_3_1_34_2","unstructured":"Dritan Nace. 2020. Lecture notes in linear programming modeling. http:\/\/bit.ly\/46DliLm. Last accessed: 2025-09-24."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","unstructured":"OpenAI. 2024. GPT-4o System Card. 10.48550\/arXiv.2410.21276","DOI":"10.48550\/arXiv.2410.21276"},{"key":"e_1_3_3_1_36_2","unstructured":"OpenAI. 2025. Introducing OpenAI o3 and o4-mini. http:\/\/bit.ly\/4gFhYE3 Last accessed: 2025-09-24."},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239400"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-75872-0_6"},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"publisher","unstructured":"Gemini Team Petko Georgiev Ving\u00a0Ian Lei Ryan Burnell Libin Bai Anmol Gulati Garrett Tanzer Damien Vincent et\u00a0al. 2024. Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context. 10.48550\/arXiv.2403.05530","DOI":"10.48550\/arXiv.2403.05530"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"crossref","unstructured":"Andr\u00e1s Vargha and Harold Delaney. 2000. A critique and improvement of the CL common language effect size statistics of McGraw and Wong. Journal of Educational and Behavioral Statistics 25 2 (2000) 101\u2013132.","DOI":"10.3102\/10769986025002101"},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.52202\/075280-2837"},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_1"},{"key":"e_1_3_3_1_43_2","volume-title":"Model building in mathematical programming","author":"Williams H\u00a0Paul","year":"2013","unstructured":"H\u00a0Paul Williams. 2013. Model building in mathematical programming. John Wiley & Sons, Ltd., Chichester, UK."},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/3652620.3687807"},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"publisher","unstructured":"Tao Yue Lionel Briand and Yvan Labiche. 2011. A systematic review of transformation approaches between user requirements and analysis models. Requirements Engineering 16 (2011) 75\u201399. 10.1007\/s00766-010-0111-y","DOI":"10.1007\/s00766-010-0111-y"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.18653\/V1\/2024.NAACL-INDUSTRY.42"}],"event":{"name":"ICSE-SEIP '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-SEIP '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786583.3786879","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:17:04Z","timestamp":1783761424000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786583.3786879"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":45,"alternative-id":["10.1145\/3786583.3786879","10.1145\/3786583"],"URL":"https:\/\/doi.org\/10.1145\/3786583.3786879","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}