TY  - RPRT
TI  - ALIAS: Evaluating Performance and Memorization in LLM-Written TLA+ Specifications
AU  - Arslan Bisharat
AU  - Mujtaba Nazari
AU  - Khushboo Bhadauria
AU  - Brian Ortiz
AU  - Eric Spencer
AU  - Beatriz Santos
AU  - TaiNing Wang
AU  - George K. Thiruvathukal
AU  - Konstantin Laufer
AU  - Mohammed Abuhamad
PY  - 2026
UR  - https://arxiv.org/abs/2610.29767
ID  - 2610.29767
ER  -