Create and curate a TLA+ Dataset for LLM Training and Evaluation
#1196 · Java · ★ 3.0k · MIT · updated 3mo ago
This issue proposes the creation of a TLA+ dataset and benchmark suite based on logic puzzles and existing community modules. The goal is to enable consistent evaluation of LLMs on TLA+-related tasks and facilitate broader adoption of formal methods in AI-assisted development. 📌…