KGST, a fine-tune-then-retrieve-then-refine pipeline, improves natural language to Signal Temporal Logic translation accuracy on the new STL-DivEn dataset and on DeepSTL.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
KGST, a fine-tune-then-retrieve-then-refine pipeline, improves natural language to Signal Temporal Logic translation accuracy on the new STL-DivEn dataset and on DeepSTL.