{"id":"2604.07321","title":"Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation","url":"https://codeofpaper.com/paper/2604.07321","arxiv_url":"https://arxiv.org/abs/2604.07321","published":"2026-04-08","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}