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