NL2STL: Transformation from Logic Natural Language to Signal Temporal Logics using Llama2
Year: 2024
Type: conference-paper
Authors: Yuchen Mao, Tianci Zhang, Xu Cao, Zhongyao Chen, Xinkai Liang, Bochen Xu, Hao Fang
Institution: Beijing Institute of Technology
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4402716220