TLA+-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA Specification Generation

Arslan Bisharat, Eric Spencer, Brian Ortiz +8

Large language models increasingly write TLA${}^{+}$ formal specifications from natural-language descriptions, but progress is hard to measure: existing resources grade by resemblanc…