TY  - RPRT
TI  - Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
AU  - Yue Fang
AU  - Zhi Jin
AU  - Jie An
AU  - Hongshen Chen
AU  - Xiaohong Chen
AU  - Naijun Zhan
PY  - 2025
UR  - https://arxiv.org/abs/2505.20658
ID  - 2505.20658
ER  -