TY  - RPRT
TI  - TLAPS-Bench: Formally Proving Correctness of Real-World System Specifications with TLA+ Proof System
AU  - Qian Cheng
AU  - Ruize Tang
AU  - Saad Mohammad Rafid Pial
AU  - Zhizhen Cathy Cai
AU  - Yiming Su
AU  - Jackson Clark
AU  - Munim Thahmid
AU  - Mahdiya Rahman Sukanya
AU  - Chris Newcombe
AU  - Igor Konnov
AU  - Stephan Merz
AU  - Xudong Sun
AU  - Murat Demirbas
AU  - Yu Huang
AU  - Markus Alexander Kuppe
AU  - Tianyin Xu
PY  - 2026
UR  - https://arxiv.org/abs/2611.02849
ID  - 2611.02849
ER  -