@misc{indiciae4bc865de5520,
  title = {Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge},
  author = {Yue Fang and Zhi Jin and Jie An and Hongshen Chen and Xiaohong Chen and Naijun Zhan},
  year = {2025},
  url = {https://arxiv.org/abs/2505.20658},
  note = {Source identifier: 2505.20658}
}