Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge.

Yue Fang, Zhi Jin, Jie An, Hongshen Chen, Xiao-hong Chen, Naijun Zhan

Browse the full ACL paper archive.