TY  - RPRT
TI  - Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
AU  - Arslan Bisharat
AU  - Brian Ortiz
AU  - Eric Spencer
AU  - Khushboo Bhadauria
AU  - TaiNing Wang
AU  - George K. Thiruvathukal
AU  - Konstantin Laufer
AU  - Mohammed Abuhamad
PY  - 2026
DO  - 10.5220/0015070400004088
UR  - https://arxiv.org/abs/2606.05792
ID  - 2606.05792
ER  -