all AI news
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models
March 25, 2024, 4:47 a.m. | Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan
cs.CL updates on arXiv.org arxiv.org
Abstract: Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset and generalizable model across different application domains. In this paper, we propose an accurate and generalizable transformation framework of English instructions from NL to TL, exploring the use of Large Language Models (LLMs) at multiple stages. Our contributions are twofold. …
abstract application applications arxiv cs.cl dataset domains engineering language language models languages large language large language models logic natural natural language systems temporal translation type
More from arxiv.org / cs.CL updates on arXiv.org
Benchmarking LLMs via Uncertainty Quantification
2 days, 4 hours ago |
arxiv.org
CARE: Extracting Experimental Findings From Clinical Literature
2 days, 4 hours ago |
arxiv.org
Jobs in AI, ML, Big Data
Data Architect
@ University of Texas at Austin | Austin, TX
Data ETL Engineer
@ University of Texas at Austin | Austin, TX
Lead GNSS Data Scientist
@ Lurra Systems | Melbourne
Senior Machine Learning Engineer (MLOps)
@ Promaton | Remote, Europe
Research Scientist
@ Meta | Menlo Park, CA
Principal Data Scientist
@ Mastercard | O'Fallon, Missouri (Main Campus)