Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Stony Brook University
1
0
3
LLMs can handle the syntax of translating natural language to LTL, but still fail on the more important semantics, highlighting a key gap in their ability to formalize complex requirements.