@misc{indiciae6a64b0e289fe,
  title = {TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation},
  author = {Arslan Bisharat and Eric Spencer and Brian Ortiz and Khushboo Bhadauria and Mujtaba Nazari and Beatriz Santos and Anisa Ramos and TaiNing Wang and George K. Thiruvathukal and Konstantin Läufer and Mohammed Abuhamad},
  year = {2026},
  url = {https://arxiv.org/abs/2607.23425},
  note = {Source identifier: 2607.23425}
}