NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.
Yongchao ChenRujul GandhiYang ZhangChuchu FanPublished in: EMNLP (2023)
Keyphrases
- language model
- temporal logic
- natural language
- language modeling
- context sensitive
- model checking
- natural language understanding
- mazurkiewicz traces
- modal logic
- semantic interpretation
- natural language processing
- information retrieval
- n gram
- speech recognition
- retrieval model
- satisfiability problem
- probabilistic model
- document retrieval
- language modelling
- query expansion
- test collection
- concurrent systems
- formal language
- vector space model
- question answering
- linguistic knowledge
- temporal knowledge
- information extraction
- statistical language models
- smoothing methods
- document ranking
- ad hoc information retrieval
- machine learning
- machine translation
- relevance model
- automatic speech recognition
- cross lingual
- language model for information retrieval