TY  - RPRT
TI  - TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation
AU  - Arslan Bisharat
AU  - Eric Spencer
AU  - Brian Ortiz
AU  - Khushboo Bhadauria
AU  - Mujtaba Nazari
AU  - Beatriz Santos
AU  - Anisa Ramos
AU  - TaiNing Wang
AU  - George K. Thiruvathukal
AU  - Konstantin Läufer
AU  - Mohammed Abuhamad
PY  - 2026
UR  - https://arxiv.org/abs/2607.23425
ID  - 2607.23425
ER  -