GenAI-Accelerated TLA+ Challenge: A Race to the Future of Formal Verification
2025-05-06
The TLA+ Foundation and NVIDIA have launched a challenge encouraging the use of generative AI to improve the TLA+ specification language. Participants can use AI for code refactoring, creating development tools, generating visualizations, and even synthesizing specifications. The judging panel will evaluate submissions based on functionality, relevance to the TLA+ ecosystem, and innovative use of AI. All submissions must be open-source, reproducible, and a prototype is sufficient. This challenge aims to explore the potential of generative AI within TLA+ and invigorate the community.
Read more
Development