@misc{indiciae104e15a1219e,
  title = {TLAPS-Bench: Formally Proving Correctness of Real-World System Specifications with TLA+ Proof System},
  author = {Qian Cheng and Ruize Tang and Saad Mohammad Rafid Pial and Zhizhen Cathy Cai and Yiming Su and Jackson Clark and Munim Thahmid and Mahdiya Rahman Sukanya and Chris Newcombe and Igor Konnov and Stephan Merz and Xudong Sun and Murat Demirbas and Yu Huang and Markus Alexander Kuppe and Tianyin Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2611.02849},
  note = {Source identifier: 2611.02849}
}