TLA+-Bench

What is TLA+-Bench?

TLA+-Bench evaluates natural-language to TLA+ specification generation by executing each specification in the TLA+ model checker across the full reachable…

Released

2026-07-26

Evaluates

Code & Software, General AI, cs.SE

Openness

unknown

Importer

Claire Radar

Review status

unreviewed

Reported scores

0

Source provenance

• Original evidence https://arxiv.org/abs/2607.23425

TLA+-Bench paper

• Paper https://arxiv.org/abs/2607.23425

Which sources cite TLA+-Bench?

• TLA+-Bench

Related Code & Software, General AI, cs.SE benchmarks

• $\tau^\tau$-Bench: An Environment for End-To-End, Realistic Agent Construction
• 3DCodeBench
• 5-Dialects-BN
• A3S-Bench
• AARRI-Bench
• ActBench
• Active-SWE
• ActiveSciBench