TY  - RPRT
TI  - TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
AU  - Eric Spencer
AU  - Arslan Bisharat
AU  - Brian Ortiz
AU  - Khushboo Bhadauria
AU  - Mujtaba Nazari
AU  - TaiNing Wang
AU  - George K. Thiruvathukal
AU  - Konstantin Laufer
AU  - Mohammed Abuhamad
PY  - 2026
DO  - 10.5220/0015234600004088
UR  - https://arxiv.org/abs/2606.06133
ID  - 2606.06133
ER  -