Back to home

Tag

model checking

1 articles

Can LLMs Write Correct TLA+ Specs?
Research/Jun 11

Can LLMs Write Correct TLA+ Specs?

A benchmark of 30 LLMs shows they rarely generate semantically correct TLA+ specs from natural language.