TY  - RPRT
TI  - DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
AU  - Negin Ayoughi
AU  - David Dewar
AU  - Shiva Nejati
AU  - Mehrdad Sabetzadeh
PY  - 2026
DO  - 10.1145/3786583.3786879
UR  - https://arxiv.org/abs/2601.00469
ID  - 2601.00469
ER  -