A presentation exploring the use of large language models for generating and verifying TLA+ formal specifications.
ChatTLA+
Presentation on using LLMs for TLA+ formal specification generation and verification.
A presentation exploring the use of large language models for generating and verifying TLA+ formal specifications.