Hopefully some people find this interesting too: TLAiBench[0]: A dataset and benchmark suite for evaluating Large Language Models (LLMs) on TLA+ formal specifi

Hopefully some people find this interesting too: TLAiBench[0]: A dataset and benchmark suite for evaluating Large Language Models (LLMs) on TLA+ formal specification tasks, featuring logic puzzles and real-world scenarios. [0]: https://github.com/tlaplus/TLAiBench https://github.com/tlaplus/TLAiBench