Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
arXiv:2604.07321v1 Announce Type: cross
Abstract: Propositional Linear Temporal Logic (LTL) is a popular formalism for specifying desirable requirements and security and privacy policies for software, networks, and systems. Yet expressing such require…