TLAi+ Benchmarks for Evaluating LLMs
github.com