@misc{indiciae620f7393ab66,
  title = {DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis},
  author = {Negin Ayoughi and David Dewar and Shiva Nejati and Mehrdad Sabetzadeh},
  year = {2026},
  doi = {10.1145/3786583.3786879},
  url = {https://arxiv.org/abs/2601.00469},
  note = {Source identifier: 2601.00469}
}