Can LLMs model real-world systems in TLA+? 2 months agois the training data for these testcases in benchmark not already there ? how do llms perform in novel complex systems spec design ? 0ThreadHN