TY  - RPRT
TI  - Towards Language Model Guided TLA+ Proof Automation
AU  - Yuhao Zhou
AU  - Stavros Tripakis
PY  - 2026
UR  - https://arxiv.org/abs/2512.09758
ID  - 2512.09758
ER  -