@misc{indiciae1756ea10093d,
  title = {TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation},
  author = {Eric Spencer and Arslan Bisharat and Brian Ortiz and Khushboo Bhadauria and Mujtaba Nazari and TaiNing Wang and George K. Thiruvathukal and Konstantin Laufer and Mohammed Abuhamad},
  year = {2026},
  doi = {10.5220/0015234600004088},
  url = {https://arxiv.org/abs/2606.06133},
  note = {Source identifier: 2606.06133}
}