@misc{indiciaeba591aef4216,
  title = {On the Effectiveness of Large Language Models in Writing Alloy Formulas},
  author = {Yang Hong and Shan Jiang and Yulei Fu and Sarfraz Khurshid},
  year = {2025},
  doi = {10.1145/3822455.3830309},
  url = {https://arxiv.org/abs/2502.15441},
  note = {Source identifier: 2502.15441}
}