@misc{indiciaece7bc450345c,
  title = {Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation},
  author = {Arslan Bisharat and Brian Ortiz and Eric Spencer and Khushboo Bhadauria and TaiNing Wang and George K. Thiruvathukal and Konstantin Laufer and Mohammed Abuhamad},
  year = {2026},
  doi = {10.5220/0015070400004088},
  url = {https://arxiv.org/abs/2606.05792},
  note = {Source identifier: 2606.05792}
}