nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
Matthias CoslerChristopher HahnDaniel MendozaFrederik SchmittCaroline TrippelPublished in: CoRR (2023)
Keyphrases
- language model
- natural language
- temporal logic
- model checking
- language modeling
- mazurkiewicz traces
- n gram
- satisfiability problem
- probabilistic model
- context sensitive
- modal logic
- document retrieval
- question answering
- query expansion
- information retrieval
- concurrent systems
- language modelling
- linguistic knowledge
- formal language
- vector space model
- information extraction
- test collection
- structured data
- natural language processing
- retrieval model
- speech recognition
- knowledge representation
- natural language questions
- semi structured
- temporal knowledge
- statistical language models
- relevance model
- ad hoc information retrieval
- machine learning
- predicate logic
- smoothing methods
- written in natural language
- term dependencies
- query terms
- query specific
- translation model
- pseudo relevance feedback
- belief revision
- okapi bm
- statistical language modeling