tlaplus/TLAiBench

TLAi+ Benchmarks

2 best points · 0 comments · 1 Hacker News post · 37 GitHub stars · View on GitHub

Hacker News discussions

• TLAi+ Benchmarks for Evaluating LLMs (2 points, 0 comments, by alhazrod, 2026-03-10)