Artifact for Paper: Language-Model Guided TLA+ Proof Automation

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Yuhao Zhou, Stavros Tripakis
DOI: 10.5281/zenodo.18637323
Cited by: 1

Abstract

This artifact accompanies the paper "Towards Language Model Guided TLA+ Proof Automation". The artifact contains the implementation of all four proof-generation methods evaluated in the paper, two benchmark suites, precomputed results, and scripts to reproduce the results in the paper. See README.md in the archive for detailed setup instructions.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
14 February 2026
Language
EN