TLAi+ Benchmarks for Evaluating LLMs
alhazrod Tuesday, March 10, 2026
Summary
TLAiBench is a benchmarking suite for the TLA+ formal specification language, providing a standardized set of models and specifications for evaluating the performance and capabilities of TLA+ tools and solvers.
2
0
Summary
github.com